dfa: reuse free eq class indices

This commit is contained in:
peter
2014-04-16 20:32:38 +02:00
parent 81ae814e09
commit f774ed3e60
@@ -263,8 +263,14 @@ public class DfaMemoryStateImpl implements DfaMemoryState {
}
EqClass aClass = new EqClass(myFactory);
aClass.add(dfaValue.getID());
myEqClasses.add(aClass);
int freeIndex = myEqClasses.indexOf(null);
if (freeIndex >= 0) {
myEqClasses.set(freeIndex, aClass);
return freeIndex;
}
myEqClasses.add(aClass);
return myEqClasses.size() - 1;
}