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, zzParserInitUsedBy
compareTo, isGround
crossClassCompare, gatherTopFunctions, getBoolean, getCollection, getDouble, getInt, getSparseVector, getString, getTerm, getVector, mdjbFirst, mdjbNext, testRecursive
public Function clone()
public BooleanTerm getValue()
public java.lang.Boolean checkConstant(Binds binds)