Package jtabwbx.modal.btformula

A basic implementation of propositional modal formulas as binary trees.

See: Description

Class Summary

Class	Description
BTModalFormula	The root class for parsed formulas implementation.
BTModalFormulaCompound	An instance of this class models a compound propositional formula.
BTModalFormulaFactory	Factory for modal formulas.
BTModalFormulaProposition	An instance of this class models an atomic formula (a proposition).

Package jtabwbx.modal.btformula Description

A basic implementation of propositional modal formulas as binary trees.

Author:

Mauro Ferrari