• Alexandre Duret-Lutz's avatar
    Rewrite the check of WDBA state acceptance in minimize(). · 358d4bfd
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/powerset.hh (power_map): New structure, allowing
    the caller to retrieve the set of original states corresponding to
    the set in the deterministic automaton.
    (power_set): Adjust prototype to take a power_map instead of the
    acc_list.
    * src/tgbaalgos/powerset.cc (power_set): Strip all code using
    acc_list, and update power_set.
    * src/tgbaalgos/minimize.cc (minimize): Rewrite, using an
    algorithm similar to the one in the Dax paper to check whether
    state of the minimized automaton should be accepting.
    358d4bfd
To find the state of this project's repository at the time of any of these versions, check out the tags.