Uses of Package
jtabwbx.modal.formula

Packages that use jtabwbx.modal.formula

Package	Description
jtabwbx.modal.basic	Basic classes and interfaces for propositional modla formulas.
jtabwbx.modal.formula	An implementation of propositional modal formulas based on graphs.

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

Class and Description
ModalFormula A modal formula.

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

Class and Description
BitSetOfModalFormulas Sets of modal formulas implemented over bitsets.
ModalFormula A modal formula.
ModalFormulaFactory The factory building formulas.
ModalFormulaProposition An propositional variable.