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