Uses of Class
jtabwbx.prop.btformula.BTFormula

Packages that use 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.

Uses of BTFormula in jtabwbx.prop.btformula

Subclasses of BTFormula in jtabwbx.prop.btformula

Modifier and Type	Class and Description
class	BTFormulaCompound Implementation of a propositional compound formula, that is a formula obtained by combining sub-formulas by means of a propositional connective.
class	BTFormulaProposition Implementation of a propositional variable (an atomic formula).

Methods in jtabwbx.prop.btformula that return BTFormula

Modifier and Type	Method and Description
BTFormula	BTPropositionalFormulaFactory.buildAtomic(java.lang.String name)
BTFormula	BTPropositionalFormulaFactory.buildCompound(PropositionalConnective mainConnective, BTFormula... subformulas)
BTFormula[]	BTFormulaProposition.immediateSubformulas()
BTFormula[]	BTFormulaCompound.immediateSubformulas()
abstract BTFormula[]	BTFormula.immediateSubformulas()

Methods in jtabwbx.prop.btformula with parameters of type BTFormula

Modifier and Type	Method and Description
BTFormula	BTPropositionalFormulaFactory.buildCompound(PropositionalConnective mainConnective, BTFormula... subformulas)

Constructors in jtabwbx.prop.btformula with parameters of type BTFormula

Constructor and Description
BTFormulaCompound(PropositionalConnective mainConnective, BTFormula subformula) Builds the compound formula with the specified unary connective and the specified sub-formula.
BTFormulaCompound(PropositionalConnective mainConnective, BTFormula left, BTFormula right) Builds the compound formula with the specified binary infix connective and the specified sub-formulas.

Uses of BTFormula in jtabwbx.prop.formula

Methods in jtabwbx.prop.formula with parameters of type BTFormula

Modifier and Type	Method and Description
Formula	FormulaFactory.buildFrom(BTFormula wff) Build an instance of the specified BTFormula.