25 #include <spot/misc/optionmap.hh> 26 #include <spot/twa/fwd.hh> 27 #include <spot/twaalgos/emptiness.hh> 96 SPOT_API emptiness_check_ptr
emptiness_check_ptr explicit_tau03_search(const const_twa_ptr &a, option_map o=option_map())
Returns an emptiness checker on the spot::tgba automaton a.