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
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);
twa_graph_ptr scc_filter_states(const const_twa_graph_ptr &aut, bool remove_all_useless=false, scc_info *given_si=nullptr)
Prune unaccepting SCCs.
twa_graph_ptr scc_filter(const const_twa_graph_ptr &aut, bool remove_all_useless=false, scc_info *given_si=nullptr)
Prune unaccepting SCCs and remove superfluous acceptance conditions.
twa_graph_ptr scc_filter_susp(const const_twa_graph_ptr &aut, bool remove_all_useless, bdd suspvars, bdd ignoredvars, bool early_susp, scc_info *given_si=nullptr)
Prune unaccepting SCCs, superfluous acceptance sets, and suspension variables.