Uses of Package
jtabwbx.prop.btformula

Packages that use jtabwbx.prop.btformula

Package	Description
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.btformula used by jtabwbx.prop.btformula

Class and Description
BTFormula A simple implementation of a formula as a binary tree.
BTFormulaProposition Implementation of a propositional variable (an atomic formula).

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

Class and Description
BTFormula A simple implementation of a formula as a binary tree.