22 #include <spot/twaalgos/sccinfo.hh> 47 is_terminal_automaton(
const const_twa_graph_ptr& aut, scc_info* sm =
nullptr,
48 bool ignore_trivial_scc =
false);
64 is_weak_automaton(
const const_twa_graph_ptr& aut, scc_info* sm =
nullptr);
81 is_very_weak_automaton(
const const_twa_graph_ptr& aut,
82 scc_info* sm =
nullptr);
98 is_inherently_weak_automaton(
const const_twa_graph_ptr& aut,
99 scc_info* sm =
nullptr);
115 is_safety_automaton(
const const_twa_graph_ptr& aut,
116 scc_info* sm =
nullptr);
125 is_liveness_automaton(
const const_twa_graph_ptr& aut);
137 check_strength(
const twa_graph_ptr& aut, scc_info* sm =
nullptr);
166 SPOT_API twa_graph_ptr
167 decompose_scc(
const const_twa_graph_ptr& aut,
const char* keep);
176 SPOT_API twa_graph_ptr
177 decompose_scc(scc_info& sm,
const char* keep);
179 SPOT_DEPRECATED(
"use decompose_scc() instead")
180 SPOT_API twa_graph_ptr
181 decompose_strength(const const_twa_graph_ptr& aut, const
char* keep);
192 SPOT_API twa_graph_ptr
193 decompose_scc(scc_info& sm,
unsigned scc_num,
bool accepting = false);
Definition: automata.hh:26