Notes

• Calls to the queue_cursor methods are only valid iff the queue is non-empty.
• The default constructor is used by the breadth-first cursor to implement ends of range: the empty queue serves as stop condition for the traversal.