EMPTY_TERM, parts
Constructor and Description |
---|
FuncIdentity() |
FuncIdentity(ATerm t) |
Modifier and Type | Method and Description |
---|---|
ATerm |
getValue() |
void |
update(Function source,
java.lang.Object... msg) |
addUsedBy, getUsedBy, ground, isFunctionFree, isReady, parserSetsFocusIndicator, toString, valueClone, valueEquals, valueHash, zzParserInitUsedBy
compareTo, isGround
crossClassCompare, gatherTopFunctions, getBoolean, getCollection, getDouble, getInt, getSparseVector, getString, getTerm, getVector, mdjbFirst, mdjbNext, testRecursive
public FuncIdentity()
public FuncIdentity(ATerm t)