if (illegal < ch)
continue;
if (illegal > tr.getMax())
break;
if (illegal > ch) {
transitions.add(new StateTransitionPair(pair.getFirstState(), new Transition(ch, (char)(illegal - 1), tr.getDest())));
}
ch = (char)(illegal + 1);
}
if (ch <= tr.getMax()) {
transitions.add(new StateTransitionPair(pair.getFirstState(), new Transition(ch, tr.getMax(), tr.getDest())));
}
}
}
for (StateTransitionPair pair : transitions) {
pair.state.addTransition(pair.transition);