• Alexandre Duret-Lutz's avatar
    Better resource handling in minimization. · f9e84ac2
    Alexandre Duret-Lutz authored
    * src/tgbatest/ltl2tgba.cc (main): Delete the minimized automaton.
    * src/tgbaalgos/minimize.cc (minimize): Remove the call to
    unregister_variable() at the end.  It was both
    wrong (unregistering only the first variable) and useless ("delete
    del_a" will unregister all these variables).  Use a map and a set
    to keep track of free BDD variable and reuse them, otherwise the
    algorithm would sometimes use more variables than allocated.
To find the state of this project's repository at the time of any of these versions, check out the tags.