Package | Description |
---|---|
jtabwbx.prop.btformula |
A basic implementation of propositional formulas as binary trees.
|
Modifier and Type | Field and Description |
---|---|
static BTFormulaProposition |
BTPropositionalFormulaFactory.FALSE |
static BTFormulaProposition |
BTFormulaProposition.FALSE
The formula representing the FALSE constant, its name is
"false" . |
static BTFormulaProposition |
BTPropositionalFormulaFactory.TRUE |
static BTFormulaProposition |
BTFormulaProposition.TRUE
The formula representing the true constant, its name is
"true" . |