-
Alexandre Duret-Lutz authored
* src/tgbaalgos/minimize.cc (minimize): Don't add acceptance conditions if the final set is empty. * src/tgbaalgos/powerset.cc (tgba_powerset): Add the initial state to acc_list if it is accepting. Also do not compute an SCC build map if we don't have to build acc_list.
72139fd7
To find the state of this project's repository at the time of any of these versions, check out the tags.