public abstract class NumberFunction extends Function
| Modifier and Type | Field and Description |
|---|---|
NumberTerm |
value |
EMPTY_TERM, parts| Constructor and Description |
|---|
NumberFunction() |
| Modifier and Type | Method and Description |
|---|---|
ATerm |
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 NumberTerm value