Package | Description |
---|---|
jtabwbx.prop.formula |
An implementation of propositional formulas based on graphs.
|
Modifier and Type | Method and Description |
---|---|
BitSetOfFormulas |
BitSetOfFormulas.clone() |
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.
|
BitSetOfFormulas |
FormulaFactory.getGeneratedFormula()
Returns the
BitSetOfFormulas containing all the generated formulas. |
BitSetOfFormulas |
FormulaFactory.getGeneratedFormulasOfType(FormulaType type)
Returns the
BitSetOfFormulas containing all the generated formulas
of the specified type. |
BitSetOfFormulas |
FormulaFactory.intuitionisticNonLocalFormulas()
Returns the bitset containing the intuitionistic NON local formulas in this
factory.
|
BitSetOfFormulas |
SingleSuccedentSequentOnBSF.leftSide()
Returns the bitset of formulas representing the left-hand side of this
sequent; if the left hand side is empty this method returns an empty
bitset.
|
BitSetOfFormulas |
SequentOnBSFWithFormulasByType.leftSide() |
BitSetOfFormulas |
SequentOnBSF.leftSide() |
BitSetOfFormulas |
SequentOnBSFWithFormulasByType.rightSide() |
BitSetOfFormulas |
SequentOnBSF.rightSide() |
Modifier and Type | Method and Description |
---|---|
void |
BitSetOfFormulas.addAll(BitSetOfFormulas set) |
void |
SequentOnBSFWithFormulasByType.addLeft(BitSetOfFormulas formulas) |
void |
SequentOnBSF.addLeft(BitSetOfFormulas formulas)
Add all the formulas in the specified formula bitset to the left-hand side
of this sequent.
|
void |
SequentOnBSFWithFormulasByType.addRight(BitSetOfFormulas formulas) |
void |
SequentOnBSF.addRight(BitSetOfFormulas formulas)
Add all the formulas in the specified formula bitset to the right-hand side
of this sequent.
|
void |
BitSetOfFormulas.and(BitSetOfFormulas set) |
boolean |
BitSetOfFormulas.subseteq(BitSetOfFormulas other) |
boolean |
BitSetOfFormulas.superseteq(BitSetOfFormulas other) |