Uses of Class
jtabwbx.prop.btformula.BTFormulaProposition

Packages that use BTFormulaProposition

Package	Description
jtabwbx.prop.btformula	A basic implementation of propositional formulas as binary trees.

Uses of BTFormulaProposition in jtabwbx.prop.btformula

Fields in jtabwbx.prop.btformula declared as BTFormulaProposition

Modifier and Type	Field and Description
static BTFormulaProposition	BTPropositionalFormulaFactory.FALSE
static BTFormulaProposition	BTFormulaProposition.FALSE The formula representing the FALSE constant, its name is "false".
static BTFormulaProposition	BTPropositionalFormulaFactory.TRUE
static BTFormulaProposition	BTFormulaProposition.TRUE The formula representing the true constant, its name is "true".