Package | Description |
---|---|
jtabwbx.modal.formula |
An implementation of propositional modal formulas based on graphs.
|
Modifier and Type | Field and Description |
---|---|
ModalFormulaProposition |
ModalFormulaFactory.FALSE
The formula representing the propositional variable FALSE.
|
ModalFormulaProposition |
ModalFormulaFactory.TRUE
The formula representing the propositional variable TRUE.
|
Modifier and Type | Method and Description |
---|---|
ModalFormulaProposition |
ModalFormulaFactory.buildAtomic(java.lang.String name)
Builds the propositional modal formula with the specified name.
|
ModalFormulaProposition |
ModalFormulaFactory.getFalse()
Returns the formula modelling the propositional constant FALSE.
|
ModalFormulaProposition |
ModalFormulaFactory.getTrue()
Returns the formula modelling the propositional constant TRUE.
|
Modifier and Type | Method and Description |
---|---|
boolean |
ModalFormulaProposition.containsProposition(ModalFormulaProposition proposition) |