20 #ifndef SPOT_SABA_SABASUCCITER_HH
21 # define SPOT_SABA_SABASUCCITER_HH
23 #include "sabastate.hh"
53 virtual void first() = 0;
59 virtual void next() = 0;
66 virtual bool done()
const = 0;
120 virtual void first() = 0;
126 virtual void next() = 0;
138 virtual bool done()
const = 0;
151 virtual bdd current_condition()
const = 0;
158 #endif // SPOT_TGBA_SUCCITER_HH
Iterate over the successors of a saba_state.
Definition: sabasucciter.hh:99
SPOT_API SPOT_DEPRECATED const formula * clone(const formula *f) __attribute__((deprecated))
Clone a formula.
Abstract class for saba states.
Definition: sabastate.hh:33
Iterate over a conjunction of saba_state.
Definition: sabasucciter.hh:32