26 #include <spot/twa/fwd.hh>
27 #include <spot/misc/optionmap.hh>
28 #include <spot/twaalgos/emptiness.hh>
86 SPOT_API emptiness_check_ptr
108 SPOT_API emptiness_check_ptr
118 SPOT_API emptiness_check_ptr
Manage a map of options.
Definition: optionmap.hh:38
emptiness_check_ptr magic_search(const const_twa_ptr &a, option_map o=option_map())
Wrapper for the two magic_search implementations.
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.
Definition: automata.hh:27