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