22 #include <spot/twaalgos/sccinfo.hh> Definition: automata.hh:26
bool generic_emptiness_check_for_scc(const scc_info &si, unsigned scc)
Emptiness check of one SCC, for any acceptance condition.
bool generic_emptiness_check(const const_twa_graph_ptr &aut)
Emptiness check of an automaton, for any acceptance condition.