public abstract class BooleanFormulaBinary extends BooleanFormula
Modifier and Type | Field and Description |
---|---|
BooleanFormula |
a |
BooleanFormula |
b |
FALSE, TRUE
Constructor and Description |
---|
BooleanFormulaBinary(BooleanFormula a,
BooleanFormula b) |
accept, not, of
public final BooleanFormula a
public final BooleanFormula b
public BooleanFormulaBinary(BooleanFormula a, BooleanFormula b)