Package jtabwbx.prop.btformula

A basic implementation of propositional formulas as binary trees.

See: Description

Class Summary

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.

Package jtabwbx.prop.btformula Description

A basic implementation of propositional formulas as binary trees.

Author:

Mauro Ferrari