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, zzParserInitUsedBycompareTo, isGroundcrossClassCompare, gatherTopFunctions, getBoolean, getCollection, getDouble, getInt, getSparseVector, getString, getTerm, getVector, mdjbFirst, mdjbNext, testRecursivepublic FuncIdentity()
public FuncIdentity(ATerm t)