public static class AbstractBetaFeature.TermInfo
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
de.uka.ilkd.key.strategy.feature.AbstractBetaFeature.TermInfo.Candidate |
candidate
one of CAND_*
|
boolean |
containsNegAtom_negative
formula contains a negative atom
|
boolean |
containsNegAtom_positive
formula contains a negative atom
|
boolean |
containsQuantifier
formula contains a quantifier or modality
|
int |
maxDPath_negative |
int |
maxDPath_positive |
int |
maxPosPath_negative
formula is negated
|
int |
maxPosPath_positive
formula is positive (not negated)
|
boolean |
purePosPath_negative |
boolean |
purePosPath_positive |
Constructor and Description |
---|
TermInfo() |
public int maxPosPath_positive
public boolean purePosPath_positive
public int maxDPath_positive
public boolean containsNegAtom_positive
public int maxPosPath_negative
public boolean purePosPath_negative
public int maxDPath_negative
public boolean containsNegAtom_negative
public boolean containsQuantifier
public de.uka.ilkd.key.strategy.feature.AbstractBetaFeature.TermInfo.Candidate candidate
Copyright © 2003-2019 The KeY-Project.