An implementation of spot::evtgba_reachable_iterator that browses states breadth first.
More...
#include <evtgbaalgos/reachiter.hh>
Detailed Description
An implementation of spot::evtgba_reachable_iterator that browses states breadth first.
Member Typedef Documentation
Constructor & Destructor Documentation
spot::evtgba_reachable_iterator_breadth_first::evtgba_reachable_iterator_breadth_first |
( |
const evtgba * |
a | ) |
|
Member Function Documentation
virtual void spot::evtgba_reachable_iterator_breadth_first::add_state |
( |
const state * |
s | ) |
|
|
virtual |
virtual void spot::evtgba_reachable_iterator::end |
( |
| ) |
|
|
virtualinherited |
Called by run() once all states have been explored.
virtual const state* spot::evtgba_reachable_iterator_breadth_first::next_state |
( |
| ) |
|
|
virtual |
virtual void spot::evtgba_reachable_iterator::process_link |
( |
int |
in, |
|
|
int |
out, |
|
|
const evtgba_iterator * |
si |
|
) |
| |
|
virtualinherited |
Called by run() to process a transition.
- Parameters
-
in | The source state number. |
out | The destination state number. |
si | The spot::evtgba_iterator positionned on the current transition. |
virtual void spot::evtgba_reachable_iterator::process_state |
( |
const state * |
s, |
|
|
int |
n, |
|
|
evtgba_iterator * |
si |
|
) |
| |
|
virtualinherited |
Called by run() to process a state.
- Parameters
-
void spot::evtgba_reachable_iterator::run |
( |
| ) |
|
|
inherited |
virtual void spot::evtgba_reachable_iterator::start |
( |
int |
n | ) |
|
|
virtualinherited |
Called by run() before starting its iteration.
- Parameters
-
n | The number of initial states. |
Member Data Documentation
const evtgba* spot::evtgba_reachable_iterator::automata_ |
|
protectedinherited |
seen_map spot::evtgba_reachable_iterator::seen |
|
protectedinherited |
std::deque<const state*> spot::evtgba_reachable_iterator_breadth_first::todo |
|
protected |
A queue of states yet to explore.
The documentation for this class was generated from the following file: