19 #ifndef SPOT_FASTTGBA_FASTTGBA_SUCC_ITERATOR_HH
20 # define SPOT_FASTTGBA_FASTTGBA_SUCC_ITERATOR_HH
22 #include "fasttgba_state.hh"
55 virtual void first() = 0;
61 virtual void next() = 0;
73 virtual bool done()
const = 0;
103 #endif // SPOT_FASTTGBA_FASTTGBA_SUCC_ITERATOR_HH
virtual cube current_condition() const =0
Get the condition on the transition leading to this successor.
virtual void first()=0
Position the iterator on the first successor (if any).
This class act as an interface for all classes.
Definition: fasttgba_state.hh:30
virtual bool done() const =0
Check whether the iteration is finished.
This class represents conjunction of variables.
Definition: cube.hh:34
virtual fasttgba_state * current_state() const =0
Get the state of the current successor.
Iterate over the successors of a state.
Definition: fasttgba_succ_iterator.hh:35
virtual markset current_acceptance_marks() const =0
Get the acceptance conditions on the transition leading to this successor.
This class represents a set of acceptance marks.
Definition: markset.hh:35
virtual void next()=0
Jump to the next successor (if any).