23 #ifndef SPOT_TGBAALGOS_MAGIC_HH
24 # define SPOT_TGBAALGOS_MAGIC_HH
27 #include "misc/optionmap.hh"
32 class emptiness_check;
97 SPOT_API emptiness_check*
102 option_map o = option_map());
121 SPOT_API emptiness_check*
133 option_map o = option_map());
141 SPOT_API emptiness_check*
142 magic_search(
const tgba *a, option_map o = option_map());
147 #endif // SPOT_TGBAALGOS_MAGIC_HH