19 #ifndef SPOT_TGBAALGOS_SCCFILTER_HH
20 # define SPOT_TGBAALGOS_SCCFILTER_HH
64 tgba*
scc_filter(
const tgba* aut,
bool remove_all_useless =
false,
65 scc_map* given_sm = 0, bdd susp = bddtrue,
66 bool early_susp =
false, bdd ignored = bddtrue);
79 #endif // SPOT_TGBAALGOS_SCC_HH