23 #ifndef SPOT_TGBAALGOS_TAU03OPT_HH
24 # define SPOT_TGBAALGOS_TAU03OPT_HH
26 #include "misc/optionmap.hh"
31 class emptiness_check;
92 SPOT_API emptiness_check*
107 #endif // SPOT_TGBAALGOS_TAU03OPT_HH
SPOT_API emptiness_check * explicit_tau03_opt_search(const tgba *a, option_map o=option_map())
Returns an emptiness checker on the spot::tgba automaton a.