getStates method

List<DFAState> getStates()

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