public abstract class ValueTerm extends ATerm implements java.io.Serializable, java.lang.Cloneable
| Constructor and Description |
|---|
ValueTerm() |
| Modifier and Type | Method and Description |
|---|---|
static ValueTerm |
basicFromString(java.lang.String p) |
ATerm |
clone() |
ATerm |
ground(Binds binds,
Updatable neededBy) |
boolean |
isGround(Binds binds) |
ATerm |
valueClone() |
boolean |
valueEquals(ATerm t) |
int |
valueHash() |
crossClassCompare, gatherTopFunctions, getBoolean, getCollection, getDouble, getInt, getSparseVector, getString, getTerm, getVector, isFunctionFree, mdjbFirst, mdjbNext, testRecursivepublic static ValueTerm basicFromString(java.lang.String p)
public boolean valueEquals(ATerm t)
valueEquals in class ATermpublic ATerm valueClone()
valueClone in class ATermpublic ATerm clone()
clone in class java.lang.Object