next up previous contents
Next: Definition Up: Cursors Previous: See Also   Contents


A queue_cursor is a forward cursor storing its path in a queue of cursors. Each move through the sequence of the outgoing transitions of the source state (next_transition) enqueues a forward cursor. An extra method dequeue allows to dequeue and to implement the breadth-first traversal.

Vincent Le Maout 2003-07-08