22 #include "misc/common.hh"
60 SPOT_API twa_graph_ptr
61 scc_filter(
const const_twa_graph_ptr& aut,
bool remove_all_useless =
false,
62 scc_info* given_si = 0);
72 SPOT_API twa_graph_ptr
73 scc_filter_states(
const const_twa_graph_ptr& aut, scc_info* given_si = 0);
85 SPOT_API twa_graph_ptr
86 scc_filter_susp(
const const_twa_graph_ptr& aut,
bool remove_all_useless,
87 bdd suspvars, bdd ignoredvars,
bool early_susp,
88 scc_info* given_si = 0);