next up previous
Next: Interface for DFAs Up: Exported types Previous: Iterator:


This class stores pairs in $\Sigma \times Q$ and is wrapped in a STL map interface. Unique keys means that for a letter $a \in \Sigma$(the key type) there is at most one corresponding state $q \in Q$ (the value type), thus, unique keys means deterministic automaton.

Vincent Lemaout