27 #include "misc/optionmap.hh"
28 #include "emptiness.hh"
95 SPOT_API emptiness_check_ptr
100 option_map o = option_map());
119 SPOT_API emptiness_check_ptr
131 option_map o = option_map());
139 SPOT_API emptiness_check_ptr
140 magic_search(
const const_twa_ptr& a, option_map o = option_map());
emptiness_check_ptr explicit_magic_search(const const_twa_ptr &a, option_map o=option_map())
Returns an emptiness checker on the spot::tgba automaton a.
emptiness_check_ptr bit_state_hashing_magic_search(const const_twa_ptr &a, size_t size, option_map o=option_map())
Returns an emptiness checker on the spot::tgba automaton a.
emptiness_check_ptr magic_search(const const_twa_ptr &a, option_map o=option_map())
Wrapper for the two magic_search implementations.