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);
79 scc_filter_states(
const tgba* aut, scc_map* given_sm = 0);
82 #endif // SPOT_TGBAALGOS_SCC_HH