26 #include "misc/optionmap.hh"
28 #include "emptiness.hh"
100 SPOT_API emptiness_check_ptr
123 SPOT_API emptiness_check_ptr
135 option_map o = option_map());
144 SPOT_API emptiness_check_ptr
145 se05(
const const_twa_ptr& a, option_map o);
SPOT_API emptiness_check_ptr se05(const const_twa_ptr &a, option_map o)
Wrapper for the two se05 implementations.
SPOT_API emptiness_check_ptr explicit_se05_search(const const_twa_ptr &a, option_map o=option_map())
Returns an emptiness check on the spot::tgba automaton a.
SPOT_API emptiness_check_ptr bit_state_hashing_se05_search(const const_twa_ptr &a, size_t size, option_map o=option_map())
Returns an emptiness checker on the spot::tgba automaton a.