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
Abstract class for states.
Definition: state.hh:40
Iterate over the successors of a state.
Definition: succiter.hh:38