Skip navigation links

Package jtabwbx.prop.formula

An implementation of propositional formulas based on graphs.

See: Description

Package jtabwbx.prop.formula Description

An implementation of propositional formulas based on graphs. Formulas are represented by the Formula class and can be generated by the methods of FormulaFactory. 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