next up previous contents
Next: Definition Up: Algorithms Previous: Prototype   Contents

Description

Copies the source automaton defined by the range [first, last) into the destination automaton out by performing a depth-first traversal during which all transitions are duplicated. Returns the first state of the iteration (the first duplicated state).

Vincent Le Maout 2003-07-08