Constructor and Description |
---|
False() |
Modifier and Type | Method and Description |
---|---|
BoolPred |
and(BoolPred p) |
int |
compareTo(BoolPred that) |
java.lang.String |
id() |
BoolPred |
iff(BoolPred p) |
BoolPred |
impl(BoolPred p) |
void |
initToGraphString() |
BoolPred |
ite(BoolPred p,
BoolPred q) |
java.lang.String |
name() |
BoolPred |
not() |
BoolPred |
or(BoolPred p) |
void |
toGraphString(java.lang.StringBuilder b) |
java.lang.String |
toString() |
BoolPred |
xor(BoolPred p) |
False()
public java.lang.String toString()
toString
in class java.lang.Object
public void initToGraphString()
initToGraphString
in interface pBoolPred
public void toGraphString(java.lang.StringBuilder b)
toGraphString
in interface pBoolPred