public static class AbstractBetaFeature.TermInfo
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
(package private) static class |
AbstractBetaFeature.TermInfo.Candidate |
Modifier and Type | Field and Description |
---|---|
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 AbstractBetaFeature.TermInfo.Candidate candidate