See: Description
Class | Description |
---|---|
BitSetOfModalFormulas |
Sets of modal formulas implemented over bitsets.
|
ModalFormula |
A modal formula.
|
ModalFormulaFactory |
The factory building formulas.
|
ModalFormulaLatexFormatter |
Provides a static method to generate the LaTeX of a formula.
|
ModalFormulaProposition |
An propositional variable.
|
Exception | Description |
---|---|
ClosedFactoryException |
ModalFormula
class and
can be generated by the methods of
ModalFormulaFactory
. This factory provide an
efficient implementation of formulas based on graphs which avoid subformulas
duplication. This means that multiple occurrences of the same formula are
identified.