Uses of Class
jtabwbx.modal.formula.ModalFormulaFactory

Packages that use ModalFormulaFactory

Package	Description
jtabwbx.modal.formula	An implementation of propositional modal formulas based on graphs.

Uses of ModalFormulaFactory in jtabwbx.modal.formula

Methods in jtabwbx.modal.formula that return ModalFormulaFactory

Modifier and Type	Method and Description
ModalFormulaFactory	ModalFormulaProposition.getFactory()
abstract ModalFormulaFactory	ModalFormula.getFactory() Returns the factory used to build this formula.
ModalFormulaFactory	BitSetOfModalFormulas.getFactory()

Constructors in jtabwbx.modal.formula with parameters of type ModalFormulaFactory

Constructor and Description
BitSetOfModalFormulas(ModalFormulaFactory factory)