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, valueHashcrossClassCompare, gatherTopFunctions, getBoolean, getCollection, getDouble, getInt, getSparseVector, getString, getTerm, getVector, isFunctionFree, mdjbFirst, mdjbNext, testRecursivepublic static final BooleanTerm TRUE
public static final BooleanTerm FALSE
public boolean 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)