21#include <spot/twaalgos/emptiness.hh>
47 emptiness_check_result_ptr
Manage a map of options.
Definition: optionmap.hh:34
Definition: automata.hh:26
emptiness_check_ptr get_couvreur99_new(const const_twa_ptr &a, option_map o)
A rewritten version of the Couvreur emptiness check.
emptiness_check_ptr get_couvreur99_new_abstract(const const_twa_ptr &a, option_map o)
Same as above, but always uses the abstract interface.
emptiness_check_result_ptr couvreur99_new_check(const const_twa_ptr &a)
A shortcut to run the optimized emptiness check directly.