@SuppressWarnings("unchecked")
public SingleSuccedentSequentOnBitSet(FormulaFactory factory) {
leftSide = new BitSet(factory.numberOfGeneratedFormulas());
leftFormulas = new LinkedList[FormulaType.values().length];
rightSide = null;
}
@Override
public Formula getLeft() {
int idx = leftSide.nextSetBit(0);
if (idx == -1) return null;
else return factory.getByIndex(idx);
}
