23 #ifndef SPOT_TGBAALGOS_GV04_HH
24 # define SPOT_TGBAALGOS_GV04_HH
26 #include "misc/optionmap.hh"
31 class emptiness_check;
57 SPOT_API emptiness_check*
61 #endif // SPOT_TGBAALGOS_GV04_HH
SPOT_API emptiness_check * explicit_gv04_check(const tgba *a, option_map o=option_map())
Emptiness check based on Geldenhuys and Valmari's TACAS'04 paper.