Notes

• Calls to method other than operator== are valid iff the cursor stack is non-empty.
• This cursor is designed for cyclic structures. Using it on acyclic DFAs results in memory and time penalties but should not disrupt the processing beyond that. On a acyclic structures, a dfirst_cursor is more appropriated.