22 #include <spot/misc/common.hh> 24 #include <spot/twa/fwd.hh> 65 SPOT_API twa_graph_ptr
66 scc_filter(
const const_twa_graph_ptr& aut,
bool remove_all_useless =
false,
67 scc_info* given_si =
nullptr);
76 SPOT_API twa_graph_ptr
77 scc_filter_states(
const const_twa_graph_ptr& aut,
78 bool remove_all_useless =
false,
79 scc_info* given_si =
nullptr);
91 SPOT_API twa_graph_ptr
92 scc_filter_susp(
const const_twa_graph_ptr& aut,
bool remove_all_useless,
93 bdd suspvars, bdd ignoredvars,
bool early_susp,
94 scc_info* given_si =
nullptr);
Definition: automata.hh:26