21#include <spot/misc/common.hh>
23#include <spot/twa/fwd.hh>
69 SPOT_API twa_graph_ptr
70 scc_filter(
const const_twa_graph_ptr& aut,
bool remove_all_useless =
false,
71 scc_info* given_si =
nullptr,
bool keep_one_color =
false);
80 SPOT_API twa_graph_ptr
82 bool remove_all_useless =
false,
95 SPOT_API twa_graph_ptr
97 bdd suspvars, bdd ignoredvars,
bool early_susp,
Compute an SCC map and gather assorted information.
Definition: sccinfo.hh:449
Definition: automata.hh:26
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.