See: Description
Class | Description |
---|---|
BTModalFormula |
The root class for parsed formulas implementation.
|
BTModalFormulaCompound |
An instance of this class models a compound propositional formula.
|
BTModalFormulaFactory |
Factory for modal formulas.
|
BTModalFormulaProposition |
An instance of this class models an atomic formula (a proposition).
|