Package | Description |
---|---|
jtabwbx.modal.formula |
An implementation of propositional modal formulas based on graphs.
|
Modifier and Type | Method and Description |
---|---|
ModalFormulaFactory |
ModalFormulaProposition.getFactory() |
abstract ModalFormulaFactory |
ModalFormula.getFactory()
Returns the factory used to build this formula.
|
ModalFormulaFactory |
BitSetOfModalFormulas.getFactory() |
Constructor and Description |
---|
BitSetOfModalFormulas(ModalFormulaFactory factory) |