25 #include "misc/optionmap.hh"
27 #include "emptiness.hh"
96 SPOT_API emptiness_check_ptr
SPOT_API 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.