string w[4] = { "forward", "cursor", "code", "example" }; DFA_bin a; tree_build(a, w, w + 4); forward_cursor c(a, a.initial()); assert(c.first_transition()); do cout << "src " << c.src() << " letter " << c.letter << " aim " << c.aim(); while (c.next_transition());