Next: Interface for DFAs
Up: Exported types
Previous: Iterator:
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.
Vincent Lemaout
12/9/1997