@Override
			public int compare(DFAState o1, DFAState o2) {
				return o1.stateNumber - o2.stateNumber;
			}
Return a list of all states in this DFA, ordered by state number.
runtime/Java/src/org/antlr/v4/runtime/dfa/DFA.java