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 |
---|---|
_PropositionalFormula[] |
_PropositionalFormula.immediateSubformulas()
The immediate subformulas of this formula.
|
Modifier and Type | Method and Description |
---|---|
static FormulaType |
FormulaType.getFormulaType(_PropositionalFormula wff)
Returns the type for the specified formula.
|
Modifier and Type | Class and Description |
---|---|
class |
BTFormula
A simple implementation of a formula as a binary tree.
|
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 | Class and Description |
---|---|
class |
Formula
Formula of this package are realized by objects implementing this interface.
|
class |
FormulaProposition
An atomic propositional formula.
|