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.
|
Modifier and Type | Method and Description |
---|---|
_ModalFormula[] |
_ModalFormula.immediateSubformulas()
The immediate subformulas of this formula.
|
Modifier and Type | Class and Description |
---|---|
class |
BTModalFormula
The root class for parsed formulas implementation.
|
class |
BTModalFormulaCompound
An instance of this class models a compound propositional formula.
|
class |
BTModalFormulaProposition
An instance of this class models an atomic formula (a proposition).
|
Modifier and Type | Class and Description |
---|---|
class |
ModalFormula
A modal formula.
|
class |
ModalFormulaProposition
An propositional variable.
|