Warning

This transition iterator makes use of the iterator on Q which is exported by the automaton class. In case when this iterator does not exist, you must use the adapter DFA_linked (see previous section).