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

Complexity

$n\log(m)$ where $n$ is A.trans_count() and $m$ is A.state_count().

Vincent Le Maout 2003-07-08