22#include <spot/misc/common.hh>
24#include <spot/twa/fwd.hh>
70 SPOT_API twa_graph_ptr
71 scc_filter(
const const_twa_graph_ptr& aut,
bool remove_all_useless =
false,
72 scc_info* given_si =
nullptr,
bool keep_one_color =
false);
81 SPOT_API twa_graph_ptr
83 bool remove_all_useless =
false,
96 SPOT_API twa_graph_ptr
98 bdd suspvars, bdd ignoredvars,
bool early_susp,
Compute an SCC map and gather assorted information.
Definition sccinfo.hh:450
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_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, bool keep_one_color=false)
Prune unaccepting SCCs and remove superfluous acceptance conditions.