public PowerIntState resetTerminatedPattern(PowerIntState state, int pattern) {
WrappedBitSet reset = new WrappedBitSet(basisStates.length);
reset.or(state.getSubset());
for(int substate = reset.nextSetBit(0); substate != -1; substate = reset.nextSetBit(substate + 1)) {
if(basisStates[substate].getTerminatedPatterns().get(pattern)) {
reset.clear(substate);
}
}
reset.or(justInitial);
return new PowerIntState(basisStates, reset);
}