23 #ifndef SPOT_TGBA_SUCCITER_HH
24 # define SPOT_TGBA_SUCCITER_HH
58 virtual void first() = 0;
64 virtual void next() = 0;
75 virtual bool done()
const = 0;
91 virtual state* current_state()
const = 0;
95 virtual bdd current_condition()
const = 0;
98 virtual bdd current_acceptance_conditions()
const = 0;
105 #endif // SPOT_TGBA_SUCCITER_HH
this class acts like a wrapper to the C code of the open_set.
Definition: public.hh:32
Abstract class for states.
Definition: state.hh:40
Iterate over the successors of a state.
Definition: succiter.hh:38