An implementation of spot::ta_reachable_iterator that browses states breadth first.
More...
#include <spot/taalgos/reachiter.hh>
An implementation of spot::ta_reachable_iterator that browses states breadth first.
◆ add_state()
virtual void spot::ta_reachable_iterator_breadth_first::add_state |
( |
const state * |
s | ) |
|
|
overridevirtual |
◆ end()
virtual void spot::ta_reachable_iterator::end |
( |
| ) |
|
|
virtualinherited |
Called by run() once all states have been explored.
◆ next_state()
virtual const state * spot::ta_reachable_iterator_breadth_first::next_state |
( |
| ) |
|
|
overridevirtual |
◆ process_link()
virtual void spot::ta_reachable_iterator::process_link |
( |
int |
in, |
|
|
int |
out, |
|
|
const ta_succ_iterator * |
si |
|
) |
| |
|
virtualinherited |
Called by run() to process a transition.
- Parameters
-
in | The source state number. |
out | The destination state number. |
si | The spot::twa_succ_iterator positioned on the current transition. |
◆ process_state()
virtual void spot::ta_reachable_iterator::process_state |
( |
const state * |
s, |
|
|
int |
n |
|
) |
| |
|
virtualinherited |
Called by run() to process a state.
- Parameters
-
s | The current state. |
n | A unique number assigned to s. |
◆ run()
void spot::ta_reachable_iterator::run |
( |
| ) |
|
|
inherited |
◆ start()
virtual void spot::ta_reachable_iterator::start |
( |
| ) |
|
|
virtualinherited |
Called by run() before starting its iteration.
◆ want_state()
virtual bool spot::ta_reachable_iterator::want_state |
( |
const state * |
s | ) |
const |
|
virtualinherited |
Called by add_state or next_states implementations to filter states. Default implementation always return true.
◆ seen
state_map<int> spot::ta_reachable_iterator::seen |
|
protectedinherited |
◆ t_automata_
const_ta_ptr spot::ta_reachable_iterator::t_automata_ |
|
protectedinherited |
◆ todo
std::deque<const state*> spot::ta_reachable_iterator_breadth_first::todo |
|
protected |
A queue of states yet to explore.
The documentation for this class was generated from the following file: