Package jtabwbx.prop.basic

Basic classes and interfaces for propositional formulas.

See: Description

Interface Summary

Interface	Description
_PropositionalFormula	Interface describing propositional formulas on the set of connecetives PropositionalConnective.

Enum Summary

Enum	Description
FormulaType	The types of propositional formulas represented by formulas implemented by Formula.
PropositionalConnective	The basic propositional connectives.

Package jtabwbx.prop.basic Description

Basic classes and interfaces for propositional formulas.

Author:

Mauro Ferrari