getStates method
Return a list of all states in this DFA, ordered by state number.
Implementation
List<DFAState> getStates() {
final result = states.keys.toList();
result.sort((DFAState o1, DFAState o2) {
return o1.stateNumber - o2.stateNumber;
});
return result;
}