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, testRecursive
public static ValueTerm basicFromString(java.lang.String p)
public boolean valueEquals(ATerm t)
valueEquals
in class ATerm
public ATerm valueClone()
valueClone
in class ATerm
public ATerm clone()
clone
in class java.lang.Object