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.
|
Class and Description |
---|
_ModalFormula
Interface describing modal formulas on the set of connectives
ModalConnective . |
_ModalFormulaSet
Interface to be implemented by sets of modal formulas.
|
ModalConnective
The basic modal connectives.
|
ModalFormulaType
The types of propositional formulas represented by formulas implemented by
ModalFormula . |
Class and Description |
---|
_ModalFormula
Interface describing modal formulas on the set of connectives
ModalConnective . |
ModalConnective
The basic modal connectives.
|
Class and Description |
---|
_ModalFormula
Interface describing modal formulas on the set of connectives
ModalConnective . |
_ModalFormulaSet
Interface to be implemented by sets of modal formulas.
|
ModalConnective
The basic modal connectives.
|
ModalFormulaType
The types of propositional formulas represented by formulas implemented by
ModalFormula . |