public class VectorTerm extends ValueTerm
| Modifier and Type | Field and Description |
|---|---|
double[] |
value |
| Constructor and Description |
|---|
VectorTerm(double[] value) |
| Modifier and Type | Method and Description |
|---|---|
VectorTerm |
clone() |
int |
compareTo(ATerm o) |
basicFromString, ground, isGround, valueClone, valueEquals, valueHashcrossClassCompare, gatherTopFunctions, getBoolean, getCollection, getDouble, getInt, getSparseVector, getString, getTerm, getVector, isFunctionFree, mdjbFirst, mdjbNext, testRecursivepublic int compareTo(ATerm o)
public VectorTerm clone()