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, valueHash
crossClassCompare, gatherTopFunctions, getBoolean, getCollection, getDouble, getInt, getSparseVector, getString, getTerm, getVector, isFunctionFree, mdjbFirst, mdjbNext, testRecursive
public static void clearCanonical()
public static StringTerm canonical(java.lang.String 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)