-
Alexandre Duret-Lutz authored
* src/tgba/tgbareduc.cc, src/tgba/tgbareduc.hh (prune_scc, prune_acc, remove_component, compute_scc, remove_acc, is_not_accepting, delete_scc, is_terminal, remove_scc, display_scc): Remove anything related to the simplification of SCCs.
7ac3c5e7
To find the state of this project's repository at the time of any of these versions, check out the tags.