public abstract class CheckTerm extends Function
EMPTY_TERM, parts| Constructor and Description |
|---|
CheckTerm() |
| Modifier and Type | Method and Description |
|---|---|
java.lang.Boolean |
checkConstant(Binds binds) |
Function |
clone() |
BooleanTerm |
getValue() |
addUsedBy, getUsedBy, ground, isFunctionFree, isReady, parserSetsFocusIndicator, toString, update, valueClone, valueEquals, valueHash, zzParserInitUsedBycompareTo, isGroundcrossClassCompare, gatherTopFunctions, getBoolean, getCollection, getDouble, getInt, getSparseVector, getString, getTerm, getVector, mdjbFirst, mdjbNext, testRecursivepublic Function clone()
public BooleanTerm getValue()
public java.lang.Boolean checkConstant(Binds binds)