Notes

• Calls to method other than operator== are valid iff the cursor stack is non-empty.
• This cursor works only on acyclic structures, use dfirst_mark_cursor on cyclic DFAs.