Package jtabwbx.modal.formula

An implementation of propositional modal formulas based on graphs.

See: Description

Class Summary

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 Summary

Exception	Description
ClosedFactoryException

Package jtabwbx.modal.formula Description

An implementation of propositional modal formulas based on graphs. Formulas are represented by the 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.

Author:

Mauro Ferrari