Package | Description |
---|---|
jtabwbx.modal.formula |
An implementation of propositional modal formulas based on graphs.
|
Modifier and Type | Method and Description |
---|---|
BitSetOfModalFormulas |
BitSetOfModalFormulas.clone() |
BitSetOfModalFormulas |
BitSetOfModalFormulas.getBitsetOfAllFormulas(ModalFormulaType formulaType)
Returns bitset of all the formulas with the specified formula type in this
set or null if this set does not contain any formulas with the specified
formula type.
|
BitSetOfModalFormulas |
ModalFormulaFactory.getGeneratedFormula()
Returns the set containing all the generated formulas.
|
BitSetOfModalFormulas |
ModalFormulaFactory.getGeneratedFormulasOfType(ModalFormulaType type)
Returns the set containing all the generated formulas of the specified
type.
|
Modifier and Type | Method and Description |
---|---|
void |
BitSetOfModalFormulas.addAll(BitSetOfModalFormulas set) |
void |
BitSetOfModalFormulas.and(BitSetOfModalFormulas set) |
boolean |
BitSetOfModalFormulas.subseteq(BitSetOfModalFormulas other) |
boolean |
BitSetOfModalFormulas.superseteq(BitSetOfModalFormulas other) |