22 #include <spot/twaalgos/sccinfo.hh> 48 bool ignore_trivial_scc =
false);
82 scc_info* sm =
nullptr);
99 scc_info* sm =
nullptr);
116 scc_info* sm =
nullptr);
169 SPOT_API twa_graph_ptr
182 SPOT_API twa_graph_ptr
192 SPOT_API twa_graph_ptr
bool is_weak_automaton(const const_twa_graph_ptr &aut, scc_info *sm=nullptr)
Check whether an automaton is weak.
twa_graph_ptr decompose_scc(scc_info &sm, unsigned scc_num)
Extract a sub-automaton of a SCC.
twa_graph_ptr decompose_acc_scc(const const_twa_graph_ptr &aut, int scc_index)
Extract a sub-automaton of an accepting SCC.
bool is_terminal_automaton(const const_twa_graph_ptr &aut, scc_info *sm=nullptr, bool ignore_trivial_scc=false)
Check whether an automaton is terminal.
bool is_very_weak_automaton(const const_twa_graph_ptr &aut, scc_info *sm=nullptr)
Check whether an automaton is very-weak.
bool is_inherently_weak_automaton(const const_twa_graph_ptr &aut, scc_info *sm=nullptr)
Check whether an automaton is inherently weak.
bool is_safety_automaton(const const_twa_graph_ptr &aut, scc_info *sm=nullptr)
Check whether an automaton is a safety automaton.
void check_strength(const twa_graph_ptr &aut, scc_info *sm=nullptr)
Check whether an automaton is weak or terminal.
twa_graph_ptr decompose_strength(const const_twa_graph_ptr &aut, const char *keep)
Extract a sub-automaton of a given strength.