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.
|
Modifier and Type | Method and Description |
---|---|
PropositionalConnective |
_PropositionalFormula.mainConnective()
The main logical operator of this formula.
|
static PropositionalConnective |
PropositionalConnective.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static PropositionalConnective[] |
PropositionalConnective.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
PropositionalConnective |
BTFormulaProposition.mainConnective() |
PropositionalConnective |
BTFormulaCompound.mainConnective() |
abstract PropositionalConnective |
BTFormula.mainConnective() |
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 |
---|---|
PropositionalConnective |
FormulaProposition.mainConnective() |
Modifier and Type | Method and Description |
---|---|
Formula |
FormulaFactory.buildCompound(PropositionalConnective mainConnective,
Formula... subFormulas)
Builds the formula having the specified logical constant as main connective
and the specified subformulas as direct subformulas.
|