20 #ifndef SPOT_TAALGOS_STATESSETBUILDER_HH
21 # define SPOT_TAALGOS_STATESSETBUILDER_HH
34 #endif // SPOT_TAALGOS_STATESSETBUILDER_HH
this class acts like a wrapper to the C code of the open_set.
Definition: public.hh:32
SPOT_API std::set< const state * > get_states_set(const ta *t)
Compute states set for an automaton.