Package | Description |
---|---|
jtabwbx.modal.btformula |
A basic implementation of propositional modal formulas as binary trees.
|
jtabwbx.modal.formula |
An implementation of propositional modal formulas based on graphs.
|
Class and Description |
---|
BTModalFormula
The root class for parsed formulas implementation.
|
BTModalFormulaProposition
An instance of this class models an atomic formula (a proposition).
|
Class and Description |
---|
BTModalFormula
The root class for parsed formulas implementation.
|