Iterator:

This type is not exported by all the automaton classes. In cases where the states are allocated one by one anywhere in memory and are designated by their address, there cannot be any iterator on Q (actually the only classes exporting an iterator on Q are DFA_matrix and DFA_compact). However, if you really need an iterator, you should use the adapter DFA_linked with your DFA class. It stores states addresses in a container allowing traversal of Q by exporting the iterator type and clean deallocation of the automaton. Of course, it induces a space memory overhead (at least one pointer per state).