public final class BooleanTerm extends ValueTerm
Modifier and Type | Field and Description |
---|---|
static BooleanTerm |
FALSE |
static BooleanTerm |
TRUE |
boolean |
value |
Constructor and Description |
---|
BooleanTerm(boolean value) |
Modifier and Type | Method and Description |
---|---|
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 final BooleanTerm TRUE
public static final BooleanTerm FALSE
public boolean 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)