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