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