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.
|
Modifier and Type | Method and Description |
---|---|
_ModalFormulaSet |
_ModalFormulaSet.clone() |
Modifier and Type | Method and Description |
---|---|
void |
_ModalFormulaSet.addAll(_ModalFormulaSet other) |
Modifier and Type | Class and Description |
---|---|
class |
BitSetOfModalFormulas
Sets of modal formulas implemented over bitsets.
|
Modifier and Type | Method and Description |
---|---|
void |
BitSetOfModalFormulas.addAll(_ModalFormulaSet set) |