Package | Description |
---|---|
jtabwbx.modal.basic |
Basic classes and interfaces for propositional modla formulas.
|
jtabwbx.modal.formula |
An implementation of propositional modal formulas based on graphs.
|
Class and Description |
---|
ModalFormula
A modal formula.
|
Class and Description |
---|
BitSetOfModalFormulas
Sets of modal formulas implemented over bitsets.
|
ModalFormula
A modal formula.
|
ModalFormulaFactory
The factory building formulas.
|
ModalFormulaProposition
An propositional variable.
|