public final class StringTerm extends ValueTerm
| Modifier and Type | Field and Description |
|---|---|
java.lang.String |
value |
| Constructor and Description |
|---|
StringTerm(java.lang.String value) |
| Modifier and Type | Method and Description |
|---|---|
static StringTerm |
canonical(java.lang.String 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 StringTerm canonical(java.lang.String 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)