See: Description
Class | Description |
---|---|
BTFormula |
A simple implementation of a formula as a binary tree.
|
BTFormulaCompound |
Implementation of a propositional compound formula, that is a formula
obtained by combining sub-formulas by means of a propositional connective.
|
BTFormulaProposition |
Implementation of a propositional variable (an atomic formula).
|
BTPropositionalFormulaFactory |
Factory for this implementation of propositional formulas based on the set of
logical connectives specified by
PropositionalConnective . |