next up previous
Next: Iteration on the outgoing Up: Iteration on Previous: Warning

Remark

This iterator can also be used on non deterministic automata.

Vincent Lemaout
12/9/1997