23 #ifndef SPOT_TGBAALGOS_SE05_HH
24 # define SPOT_TGBAALGOS_SE05_HH
27 #include "misc/optionmap.hh"
32 class emptiness_check;
102 SPOT_API emptiness_check*
125 SPOT_API emptiness_check*
137 option_map o = option_map());
146 SPOT_API emptiness_check*
147 se05(
const tgba *a, option_map o);
152 #endif // SPOT_TGBAALGOS_SE05_HH