Skip navigation links

Package jtabwbx.modal.formula

An implementation of propositional modal formulas based on graphs.

See: Description

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
Skip navigation links