• Alexandre Duret-Lutz's avatar
    Improve the print_safra_automaton output. · 73d9f65d
    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
To find the state of this project's repository at the time of any of these versions, check out the tags..
ChangeLog 381 KB