Package | Description |
---|---|
jtabwbx.prop.formula |
An implementation of propositional formulas based on graphs.
|
Modifier and Type | Method and Description |
---|---|
static SingleSuccedentSequentOnBitSet |
SingleSuccedentSequentOnBitSet.buildArraySequent(FormulaFactory factory,
java.util.Collection<Formula> leftFormulas,
Formula rightFormula) |
SingleSuccedentSequentOnBitSet |
SingleSuccedentSequentOnBitSet.clone() |
Modifier and Type | Method and Description |
---|---|
boolean |
SingleSuccedentSequentOnBitSet.contains(SingleSuccedentSequentOnBitSet other)
Returns true if this sequent is contained in the one specifed as agrument;
this holds if
this and other have the same
formula in the right-hand side and the set of formulas in the left-hand
side of this includes the set of formulas in the left-hand
side of other . |
boolean |
SingleSuccedentSequentOnBitSet.isContained(SingleSuccedentSequentOnBitSet other)
Returns
true if this sequent is contained in the other. |