spot
1.2.4
|
Basic implementation of saba_state_conjunction. More...
#include <saba/explicitstateconjunction.hh>
Public Member Functions | |
explicit_state_conjunction (const explicit_state_conjunction *other) | |
explicit_state_conjunction & | operator= (const explicit_state_conjunction &o) |
void | add (saba_state *state) |
Iteration | |
virtual void | first () |
Position the iterator on the first successor of the conjunction (if any). More... | |
virtual void | next () |
Jump to the next successor (if any). More... | |
virtual bool | done () const |
Check whether the iteration over a conjunction of states is finished. More... | |
Inspection | |
explicit_state_conjunction * | clone () const |
Duplicate a this conjunction. More... | |
virtual saba_state * | current_state () const |
Basic implementation of saba_state_conjunction.
This class provides a basic implementation to iterate over a conjunction of states of a saba.
void spot::explicit_state_conjunction::add | ( | saba_state * | state) |
Add a new state in the conjunction. The class becomes owner of state.
|
virtual |
Duplicate a this conjunction.
Implements spot::saba_state_conjunction.
|
virtual |
Return the a new instance on the current state. This is the caller responsibility to delete the returned state.
Implements spot::saba_state_conjunction.
|
virtual |
Check whether the iteration over a conjunction of states is finished.
This function should be called after any call to first()
or next()
and before any enquiry about the current state.
Implements spot::saba_state_conjunction.
|
virtual |
Position the iterator on the first successor of the conjunction (if any).
This method can be called several times to make multiple passes over successors.
done()
to ensure there is a successor, even after first()
. A common trap is to assume that there is at least one successor: this is wrong. Implements spot::saba_state_conjunction.
|
virtual |
Jump to the next successor (if any).
done()
to ensure there is a successor. Implements spot::saba_state_conjunction.