Uses of Interface
jtabwbx.modal.basic._ModalFormulaSet

Packages that use _ModalFormulaSet

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.

Uses of _ModalFormulaSet in jtabwbx.modal.basic

Methods in jtabwbx.modal.basic that return _ModalFormulaSet

Modifier and Type	Method and Description
_ModalFormulaSet	_ModalFormulaSet.clone()

Methods in jtabwbx.modal.basic with parameters of type _ModalFormulaSet

Modifier and Type	Method and Description
void	_ModalFormulaSet.addAll(_ModalFormulaSet other)

Uses of _ModalFormulaSet in jtabwbx.modal.formula

Classes in jtabwbx.modal.formula that implement _ModalFormulaSet

Modifier and Type	Class and Description
class	BitSetOfModalFormulas Sets of modal formulas implemented over bitsets.

Methods in jtabwbx.modal.formula with parameters of type _ModalFormulaSet

Modifier and Type	Method and Description
void	BitSetOfModalFormulas.addAll(_ModalFormulaSet set)