public class BooleanFormulaLessEqual extends BooleanFormulaAtomicBinary
a, b
FALSE, TRUE
Constructor and Description |
---|
BooleanFormulaLessEqual(Formula a,
Formula b) |
Modifier and Type | Method and Description |
---|---|
<T> T |
accept(BooleanFormulaVisitor1<T> visitor) |
BooleanFormula |
not() |
of
public BooleanFormula not()
not
in class BooleanFormula
public <T> T accept(BooleanFormulaVisitor1<T> visitor)
accept
in class BooleanFormula