Package | Description |
---|---|
jtabwbx.prop.formula |
An implementation of propositional formulas based on graphs.
|
Modifier and Type | Method and Description |
---|---|
static SingleSuccedentSequentOnArray |
SingleSuccedentSequentOnArray.buildArraySequent(FormulaFactory factory,
java.util.Collection<Formula> leftFormulas,
Formula rightFormula) |
SingleSuccedentSequentOnArray |
SingleSuccedentSequentOnArray.clone() |