A set of all DFA states. Use {@link Map} so we can get old state back ({@link Set} only allows you to see if it's there).
See Implementation
A set of all DFA states. Use {@link Map} so we can get old state back ({@link Set} only allows you to see if it's there).