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