25 #include <spot/misc/optionmap.hh>
26 #include <spot/twa/fwd.hh>
27 #include <spot/twaalgos/emptiness.hh>
55 SPOT_API emptiness_check_ptr
emptiness_check_ptr explicit_gv04_check(const const_twa_ptr &a, option_map o=option_map())
Emptiness check based on Geldenhuys and Valmari's TACAS'04 paper.