Basic implementation of saba_state_conjunction.This class provides a basic implementation to iterate over a conjunction of states of a saba.
More...
#include <saba/explicitstateconjunction.hh>
Detailed Description
Basic implementation of saba_state_conjunction.
This class provides a basic implementation to iterate over a conjunction of states of a saba.
Member Typedef Documentation
Constructor & Destructor Documentation
spot::explicit_state_conjunction::explicit_state_conjunction |
( |
| ) |
|
virtual spot::explicit_state_conjunction::~explicit_state_conjunction |
( |
| ) |
|
|
virtual |
Member Function Documentation
void spot::explicit_state_conjunction::add |
( |
saba_state * |
state | ) |
|
Add a new state in the conjunction. The class becomes owner of state.
virtual saba_state* spot::explicit_state_conjunction::current_state |
( |
| ) |
const |
|
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 bool spot::explicit_state_conjunction::done |
( |
| ) |
const |
|
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 void spot::explicit_state_conjunction::first |
( |
| ) |
|
|
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.
- Warning
- One should always call
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 void spot::explicit_state_conjunction::next |
( |
| ) |
|
|
virtual |
Member Data Documentation
saba_state_set_t::iterator spot::explicit_state_conjunction::it_ |
|
private |
The documentation for this class was generated from the following file: