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 |
---|---|
ModalConnective |
_ModalFormula.mainConnective()
The main logical operator of this formula.
|
static ModalConnective |
ModalConnective.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static ModalConnective[] |
ModalConnective.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
ModalConnective |
BTModalFormulaProposition.mainConnective() |
ModalConnective |
BTModalFormulaCompound.mainConnective() |
Modifier and Type | Method and Description |
---|---|
BTModalFormula |
BTModalFormulaFactory.buildCompound(ModalConnective mainConnective,
BTModalFormula... subformulas) |
Constructor and Description |
---|
BTModalFormulaCompound(ModalConnective mainConnective,
BTModalFormula sub)
Build an instance of a compound formula with an unary main connective.
|
BTModalFormulaCompound(ModalConnective mainConnective,
BTModalFormula left,
BTModalFormula right)
Build an instance of a compound formula with a binary main connective.
|
Modifier and Type | Method and Description |
---|---|
ModalConnective |
ModalFormulaProposition.mainConnective() |
Modifier and Type | Method and Description |
---|---|
ModalFormula |
ModalFormulaFactory.buildCompound(ModalConnective mainConnective,
ModalFormula... subFormulas)
Builds the formula having the specified logical constant as main connective
and the specified subformulas as direct subformulas.
|