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, ofpublic final BooleanFormula a
public final BooleanFormula b
public BooleanFormulaBinary(BooleanFormula a, BooleanFormula b)