-
Alexandre Duret-Lutz authored
* src/tgba/tgbasafracomplement.cc (print_safra_tree): Fix output in case of hash collision. Use the actual states to get a number, not their hash value. (print_safra_automaton): Output a mapping of values to states names. (safra_tree_automaton::get_sba): New method, used by print_safra_automaton.
73d9f65d