22 #include <spot/twaalgos/emptiness.hh> 23 #include <spot/twaalgos/sccinfo.hh> 63 const acc_cond& forced_acc);
Definition: automata.hh:26
bool generic_emptiness_check(const const_twa_graph_ptr &aut)
Emptiness check of an automaton, for any acceptance condition.
twa_run_ptr generic_accepting_run(const const_twa_graph_ptr &aut)
Accepting run search in an automaton, for any acceptance condition.
bool generic_emptiness_check_for_scc(const scc_info &si, unsigned scc, const acc_cond &forced_acc)
Emptiness check of one SCC, for any acceptance condition.