22 #ifndef SPOT_TGBAALGOS_MAGIC_HH
23 # define SPOT_TGBAALGOS_MAGIC_HH
31 class emptiness_check;
100 option_map o = option_map());
130 option_map o = option_map());
138 emptiness_check*
magic_search(
const tgba *a, option_map o = option_map());
143 #endif // SPOT_TGBAALGOS_MAGIC_HH