public static SingleSuccedentSequentOnBitSet buildArraySequent(
FormulaFactory factory, Collection<Formula> leftFormulas, Formula rightFormula) {
SingleSuccedentSequentOnBitSet seq = new SingleSuccedentSequentOnBitSet(factory);
if (leftFormulas != null) for (Formula wff : leftFormulas) seq.addLeft(wff);
seq.addRight(rightFormula);
return seq;
}
@SuppressWarnings("unchecked")
@Override
public SingleSuccedentSequentOnBitSet clone() {
try {
SingleSuccedentSequentOnBitSet result = (SingleSuccedentSequentOnBitSet) super.clone();
result.leftSide = (BitSet) this.leftSide.clone();
result.leftFormulas = (LinkedList<Formula>[]) new LinkedList[FormulaType.values().length];
for (int i = 0; i < this.leftFormulas.length; i++)
if (this.leftFormulas[i] != null)
result.leftFormulas[i] = (LinkedList<Formula>) this.leftFormulas[i].clone();
result.rightSide = this.rightSide;
return result;
} catch (CloneNotSupportedException e) {
throw new ImplementationError(e.getMessage());
}
}
