@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); }