20 #ifndef SPOT_TGBAALGOS_SCCFILTER_HH
21 # define SPOT_TGBAALGOS_SCCFILTER_HH
23 #include "tgba/tgba.hh"
66 scc_filter(
const tgba* aut,
bool remove_all_useless =
false,
67 scc_map* given_sm = 0, bdd susp = bddtrue,
68 bool early_susp =
false, bdd ignored = bddtrue);
82 #endif // SPOT_TGBAALGOS_SCC_HH
SPOT_API tgba * scc_filter_states(const tgba *aut, scc_map *given_sm=0)
Prune unaccepting SCCs.
SPOT_API tgba * scc_filter(const tgba *aut, bool remove_all_useless=false, scc_map *given_sm=0, bdd susp=bddtrue, bool early_susp=false, bdd ignored=bddtrue)
Prune unaccepting SCCs and remove superfluous acceptance conditions.