next up previous contents
Next: Example Up: Algorithms Previous: Preconditions   Contents

Complexity

Linear: at most last - first transitions are duplicated.

Vincent Le Maout 2003-07-08