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,
76 SPOT_API twa_graph_ptr
78 bool remove_all_useless =
false,
91 SPOT_API twa_graph_ptr
93 bdd suspvars, bdd ignoredvars,
bool early_susp,
Compute an SCC map and gather assorted information.
Definition: sccinfo.hh:443
Definition: automata.hh:27
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.
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_states(const const_twa_graph_ptr &aut, bool remove_all_useless=false, scc_info *given_si=nullptr)
Prune unaccepting SCCs.