Next:
Complexity
Up:
Algorithms
Previous:
Requirements on types
Contents
Preconditions
[first, last)
is a valid range.
The source DFA is acyclic.
Vincent Le Maout 2003-07-08