Uses of Package
jtabwbx.modal.basic

Packages that use jtabwbx.modal.basic

Package	Description
jtabwbx.modal.basic	Basic classes and interfaces for propositional modla formulas.
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.basic used by jtabwbx.modal.basic

Class and Description
_ModalFormula Interface describing modal formulas on the set of connectives ModalConnective.
_ModalFormulaSet Interface to be implemented by sets of modal formulas.
ModalConnective The basic modal connectives.
ModalFormulaType The types of propositional formulas represented by formulas implemented by ModalFormula.

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

Class and Description
_ModalFormula Interface describing modal formulas on the set of connectives ModalConnective.
ModalConnective The basic modal connectives.

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

Class and Description
_ModalFormula Interface describing modal formulas on the set of connectives ModalConnective.
_ModalFormulaSet Interface to be implemented by sets of modal formulas.
ModalConnective The basic modal connectives.
ModalFormulaType The types of propositional formulas represented by formulas implemented by ModalFormula.