20 #ifndef SPOT_TGBAALGOS_MAGIC_HH
21 # define SPOT_TGBAALGOS_MAGIC_HH
29 class emptiness_check;
98 option_map o = option_map());
128 option_map o = option_map());
136 emptiness_check*
magic_search(
const tgba *a, option_map o = option_map());
141 #endif // SPOT_TGBAALGOS_MAGIC_HH