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, valueHashcrossClassCompare, gatherTopFunctions, getBoolean, getCollection, getDouble, getInt, getSparseVector, getString, getTerm, getVector, isFunctionFree, mdjbFirst, mdjbNext, testRecursivepublic 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.Objectpublic boolean equals(java.lang.Object o)
equals in class java.lang.Objectpublic java.lang.String toString()
toString in class java.lang.Objectpublic int compareTo(ATerm other)