22 #include <spot/twaalgos/sccinfo.hh>
40 is_terminal_automaton(
const const_twa_graph_ptr& aut, scc_info* sm =
nullptr);
57 is_weak_automaton(
const const_twa_graph_ptr& aut, scc_info* sm =
nullptr);
73 is_inherently_weak_automaton(
const const_twa_graph_ptr& aut,
74 scc_info* sm =
nullptr);
84 is_safety_mwdba(
const const_twa_graph_ptr& aut);
95 check_strength(
const twa_graph_ptr& aut, scc_info* sm =
nullptr);
136 SPOT_API twa_graph_ptr
140 decompose_strength(
const const_twa_graph_ptr& aut,
const char* keep);