Uses of Package
jtabwbx.prop.basic

Packages that use jtabwbx.prop.basic

Package	Description
jtabwbx.prop.basic	Basic classes and interfaces for propositional formulas.
jtabwbx.prop.btformula	A basic implementation of propositional formulas as binary trees.
jtabwbx.prop.formula	An implementation of propositional formulas based on graphs.

Classes in jtabwbx.prop.basic used by jtabwbx.prop.basic

Class and Description
_PropositionalFormula Interface describing propositional formulas on the set of connecetives PropositionalConnective.
FormulaType The types of propositional formulas represented by formulas implemented by Formula.
PropositionalConnective The basic propositional connectives.

Classes in jtabwbx.prop.basic used by jtabwbx.prop.btformula

Class and Description
_PropositionalFormula Interface describing propositional formulas on the set of connecetives PropositionalConnective.
PropositionalConnective The basic propositional connectives.

Classes in jtabwbx.prop.basic used by jtabwbx.prop.formula

Class and Description
_PropositionalFormula Interface describing propositional formulas on the set of connecetives PropositionalConnective.
FormulaType The types of propositional formulas represented by formulas implemented by Formula.
PropositionalConnective The basic propositional connectives.