Package | Description |
---|---|
jtabwbx.prop.formula |
An implementation of propositional formulas based on graphs.
|
Modifier and Type | Method and Description |
---|---|
FormulaFactory |
FormulaProposition.getFactory() |
abstract FormulaFactory |
Formula.getFactory()
Returns the factory used to build this formula.
|
FormulaFactory |
BitSetOfFormulas.getFactory() |
FormulaFactory |
SingleSuccedentSequentOnBSF.getFormulaFactory() |
FormulaFactory |
SequentOnBSFWithFormulasByType.getFormulaFactory() |
FormulaFactory |
SequentOnBSF.getFormulaFactory() |
FormulaFactory |
SequentOnBitSet.getFormulaFactory() |
FormulaFactory |
SequentOnArray.getFormulaFactory() |
Modifier and Type | Method and Description |
---|---|
static SingleSuccedentSequentOnBitSet |
SingleSuccedentSequentOnBitSet.buildArraySequent(FormulaFactory factory,
java.util.Collection<Formula> leftFormulas,
Formula rightFormula) |
static SingleSuccedentSequentOnArray |
SingleSuccedentSequentOnArray.buildArraySequent(FormulaFactory factory,
java.util.Collection<Formula> leftFormulas,
Formula rightFormula) |
Constructor and Description |
---|
BitSetOfFormulas(FormulaFactory factory) |
SequentOnArray(FormulaFactory factory) |
SequentOnBitSet(FormulaFactory factory) |
SequentOnBSF(FormulaFactory formulaFactory) |
SequentOnBSFWithFormulasByType(FormulaFactory formulaFactory) |
SingleSuccedentSequentOnArray(FormulaFactory factory) |
SingleSuccedentSequentOnBitSet(FormulaFactory factory) |
SingleSuccedentSequentOnBSF(FormulaFactory factory) |