Next: Interface for DFAs
Up: Exported types
This class stores pairs in and is wrapped
in a STL map interface. Unique keys means that for a letter (the key type) there is at most one corresponding state (the value
type), thus, unique keys means deterministic automaton.