public final class NumberTerm extends ValueTerm
Modifier and Type | Field and Description |
---|---|
double |
value |
Constructor and Description |
---|
NumberTerm(double value) |
Modifier and Type | Method and Description |
---|---|
static NumberTerm |
canonical(java.lang.Double value) |
static NumberTerm |
canonical(int value) |
static void |
clearCanonical() |
int |
compareTo(ATerm other) |
boolean |
equals(java.lang.Object o) |
int |
hashCode() |
java.lang.String |
toString() |
basicFromString, clone, ground, isGround, valueClone, valueEquals, valueHash
crossClassCompare, gatherTopFunctions, getBoolean, getCollection, getDouble, getInt, getSparseVector, getString, getTerm, getVector, isFunctionFree, mdjbFirst, mdjbNext, testRecursive
public static void clearCanonical()
public static NumberTerm canonical(int value)
public static NumberTerm canonical(java.lang.Double value)
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
public int compareTo(ATerm other)