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

Complexity

add_word: last - first calls to DFA::delta1 or DFA1::set_trans.
add_words: finish - start calls to add_word.

Vincent Le Maout 2003-07-08