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

Complexity

$n\log(n)$ where $n$ is a.trans_count().
Vincent Le Maout 2003-07-08