21 #include <spot/twaalgos/emptiness.hh> 32 get_couvreur99_new(
const const_twa_ptr& a, option_map o);
41 get_couvreur99_new_abstract(
const const_twa_ptr& a, option_map o);
47 emptiness_check_result_ptr
48 couvreur99_new_check(
const const_twa_ptr& a);
Definition: automata.hh:26