-
Alexandre Duret-Lutz authored
* spot/twaalgos/genem.hh, spot/twaalgos/genem.cc (generic_emptiness_check_for_scc): Add a version that takes an acc. * spot/twaalgos/isweakscc.cc (scc_has_rejecting_cycle): Use generic_emptiness_check_for_scc.
030ebed3