Package | Description |
---|---|
jtabwbx.modal.btformula |
A basic implementation of propositional modal formulas as binary trees.
|
Modifier and Type | Field and Description |
---|---|
static BTModalFormulaProposition |
BTModalFormulaProposition.FALSE
The formula representing the FALSE constant, its name is
"false" . |
static BTModalFormulaProposition |
BTModalFormulaFactory.FALSE |
static BTModalFormulaProposition |
BTModalFormulaProposition.TRUE
The formula representing the true constant, its name is
"true" . |
static BTModalFormulaProposition |
BTModalFormulaFactory.TRUE |
Modifier and Type | Method and Description |
---|---|
boolean |
BTModalFormulaProposition.equals(BTModalFormulaProposition prop)
Returns
true iff this formula proposition and the one
referenced by prop have the same name. |