22 #include <spot/misc/common.hh>
24 #include <spot/twa/fwd.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 =
nullptr);
71 SPOT_API twa_graph_ptr
72 scc_filter_states(
const const_twa_graph_ptr& aut,
73 bool remove_all_useless =
false,
74 scc_info* given_si =
nullptr);
86 SPOT_API twa_graph_ptr
87 scc_filter_susp(
const const_twa_graph_ptr& aut,
bool remove_all_useless,
88 bdd suspvars, bdd ignoredvars,
bool early_susp,
89 scc_info* given_si =
nullptr);