Next:
Complexity
Up:
Algorithms
Previous:
Requirements on types
Contents
Preconditions
[first, last)
is a valid range.
Either the source automaton is acyclic or
DFirstCursor
is a depth-first cursor with marker.
Vincent Le Maout 2003-07-08
