Package | Description |
---|---|
jtabwbx.prop.basic |
Basic classes and interfaces for propositional formulas.
|
jtabwbx.prop.formula |
An implementation of propositional formulas based on graphs.
|
Modifier and Type | Method and Description |
---|---|
static FormulaType |
FormulaType.getFormulaType(_PropositionalFormula wff)
Returns the type for the specified formula.
|
static FormulaType |
FormulaType.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static FormulaType[] |
FormulaType.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
FormulaType |
FormulaProposition.getFormulaType() |
abstract FormulaType |
Formula.getFormulaType()
Returns the formula type of this formula.
|
Modifier and Type | Method and Description |
---|---|
boolean |
BitSetOfFormulas.containsFormulaOfType(FormulaType type) |
boolean |
SequentOnLists.containsLeft(FormulaType type) |
boolean |
SequentOnBSFWithFormulasByType.containsLeft(FormulaType type) |
boolean |
SequentOnBSF.containsLeft(FormulaType type) |
boolean |
SequentOnBitSet.containsLeft(FormulaType type) |
boolean |
SequentOnArray.containsLeft(FormulaType type) |
boolean |
_Sequent.containsLeft(FormulaType type)
Returns
true if this sequent contains at least a formula of
the specified type in the left-hand side. |
boolean |
SequentOnLists.containsRight(FormulaType type) |
boolean |
SequentOnBSFWithFormulasByType.containsRight(FormulaType type) |
boolean |
SequentOnBSF.containsRight(FormulaType type) |
boolean |
SequentOnBitSet.containsRight(FormulaType type) |
boolean |
SequentOnArray.containsRight(FormulaType type) |
boolean |
_Sequent.containsRight(FormulaType type)
Returns
true if this sequent contains at least a formula of
the specified type in the right-hand side. |
java.util.Collection<Formula> |
BitSetOfFormulas.getAllFormulas(FormulaType formulaType)
Returns a collection containing all formulas with the specified formula
type in this set or null if this set does not contain any formulas with the
specified formula type.
|
java.util.Collection<Formula> |
SingleSuccedentSequentOnLists.getAllLeftFormulas(FormulaType formulaType) |
java.util.Collection<Formula> |
SingleSuccedentSequentOnBSF.getAllLeftFormulas(FormulaType formulaType) |
java.util.Collection<Formula> |
SingleSuccedentSequentOnBitSet.getAllLeftFormulas(FormulaType formulaType) |
java.util.Collection<Formula> |
SingleSuccedentSequentOnArray.getAllLeftFormulas(FormulaType formulaType) |
java.util.Collection<Formula> |
_SingleSuccedentSequent.getAllLeftFormulas(FormulaType formulaType)
Returns the collection of all the formulas in the left hand side of this
sequent with the specified type or
null if the left hand side
of this sequent does not contain any formula of the specified type. |
BitSetOfFormulas |
BitSetOfFormulas.getBitsetOfAllFormulas(FormulaType formulaType)
Returns bitset of all the formulas with the specified formula type in this
set or null if this set does not contain any formulas with the specified
formula type.
|
Formula |
BitSetOfFormulas.getFirst(FormulaType type) |
Formula |
BitSetOfFormulas.getFirstAndRemove(FormulaType type)
Returns the first formula with the specified type of this bitset and remove
it from the bitset.
|
BitSetOfFormulas |
FormulaFactory.getGeneratedFormulasOfType(FormulaType type)
Returns the
BitSetOfFormulas containing all the generated formulas
of the specified type. |
Formula |
SingleSuccedentSequentOnLists.getLeft(FormulaType formulaType) |
Formula |
SingleSuccedentSequentOnBSF.getLeft(FormulaType formulaType) |
Formula |
SingleSuccedentSequentOnBitSet.getLeft(FormulaType formulaType) |
Formula |
SingleSuccedentSequentOnArray.getLeft(FormulaType formulaType) |
Formula |
SequentOnLists.getLeft(FormulaType formulaType) |
Formula |
SequentOnBSFWithFormulasByType.getLeft(FormulaType formulaType) |
Formula |
SequentOnBSF.getLeft(FormulaType formulaType) |
Formula |
SequentOnBitSet.getLeft(FormulaType formulaType) |
Formula |
SequentOnArray.getLeft(FormulaType formulaType) |
Formula |
_SingleSuccedentSequent.getLeft(FormulaType formulaType)
Returns a formula of the specified type contained in the left hand side of
the sequent or
null if no formula of the specified type occurs
in this sequent. |
Formula |
_Sequent.getLeft(FormulaType formulaType)
Returns a formula of the specified type contained in the left hand side of
the sequent or
null if no formula of the specified type occurs
in this sequent. |
java.util.Collection<Formula> |
SequentOnLists.getLeftFormulas(FormulaType formulaType) |
java.util.Collection<Formula> |
SequentOnBSFWithFormulasByType.getLeftFormulas(FormulaType formulaType) |
java.util.Collection<Formula> |
SequentOnBSF.getLeftFormulas(FormulaType formulaType) |
java.util.Collection<Formula> |
SequentOnBitSet.getLeftFormulas(FormulaType formulaType) |
java.util.Collection<Formula> |
SequentOnArray.getLeftFormulas(FormulaType formulaType) |
java.util.Collection<Formula> |
_Sequent.getLeftFormulas(FormulaType formulaType)
Returns the collection of all the formulas in the left hand side of this
sequent with the specified type or
null if the left hand side
of this sequent does not contain any formula of the specified type. |
Formula |
SequentOnLists.getRight(FormulaType formulaType) |
Formula |
SequentOnBSFWithFormulasByType.getRight(FormulaType formulaType) |
Formula |
SequentOnBSF.getRight(FormulaType formulaType) |
Formula |
SequentOnBitSet.getRight(FormulaType formulaType) |
Formula |
SequentOnArray.getRight(FormulaType formulaType) |
Formula |
_Sequent.getRight(FormulaType formulaType)
Returns the formula in the right hand side of this sequent or
null if the formula in the right hand side does not have the
specified type. |
Formula |
SingleSuccedentSequentOnLists.getRightFormulaOfType(FormulaType formulaType) |
Formula |
SingleSuccedentSequentOnBSF.getRightFormulaOfType(FormulaType formulaType) |
Formula |
SingleSuccedentSequentOnBitSet.getRightFormulaOfType(FormulaType formulaType) |
Formula |
SingleSuccedentSequentOnArray.getRightFormulaOfType(FormulaType formulaType) |
Formula |
_SingleSuccedentSequent.getRightFormulaOfType(FormulaType formulaType)
Returns the formula in the right hand side of this sequent if the formula
has the specified type or
null if the formula in the right
hand side does not have the specified type. |
java.util.Collection<Formula> |
SequentOnLists.getRightFormulas(FormulaType formulaType) |
java.util.Collection<Formula> |
SequentOnBSFWithFormulasByType.getRightFormulas(FormulaType formulaType) |
java.util.Collection<Formula> |
SequentOnBSF.getRightFormulas(FormulaType formulaType) |
java.util.Collection<Formula> |
SequentOnBitSet.getRightFormulas(FormulaType formulaType) |
java.util.Collection<Formula> |
SequentOnArray.getRightFormulas(FormulaType formulaType) |
java.util.Collection<Formula> |
_Sequent.getRightFormulas(FormulaType formulaType)
Returns the collection of all the formulas in the right hand side of this
sequent with the specified type or
null if the right hand side
of this sequent does not contain any formula of the specified type. |