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.
|
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).
|
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() |
Modifier and Type | Method and Description |
---|---|
BTFormula |
BTPropositionalFormulaFactory.buildCompound(PropositionalConnective mainConnective,
BTFormula... subformulas) |
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.
|
Modifier and Type | Method and Description |
---|---|
Formula |
FormulaFactory.buildFrom(BTFormula wff)
Build an instance of the specified
BTFormula . |