Uses of Package
jtabwbx.modal.btformula

Packages that use jtabwbx.modal.btformula

Package	Description
jtabwbx.modal.btformula	A basic implementation of propositional modal formulas as binary trees.
jtabwbx.modal.formula	An implementation of propositional modal formulas based on graphs.

Classes in jtabwbx.modal.btformula used by jtabwbx.modal.btformula

Class and Description
BTModalFormula The root class for parsed formulas implementation.
BTModalFormulaProposition An instance of this class models an atomic formula (a proposition).

Classes in jtabwbx.modal.btformula used by jtabwbx.modal.formula

Class and Description
BTModalFormula The root class for parsed formulas implementation.