An implementation of spot::ta_reachable_iterator that browses states depth first.
More...
#include <taalgos/reachiter.hh>
Detailed Description
An implementation of spot::ta_reachable_iterator that browses states depth first.
Member Typedef Documentation
Constructor & Destructor Documentation
spot::ta_reachable_iterator_depth_first::ta_reachable_iterator_depth_first |
( |
const ta * |
a | ) |
|
Member Function Documentation
virtual void spot::ta_reachable_iterator_depth_first::add_state |
( |
const state * |
s | ) |
|
|
virtual |
virtual void spot::ta_reachable_iterator::end |
( |
| ) |
|
|
virtualinherited |
Called by run() once all states have been explored.
virtual const state* spot::ta_reachable_iterator_depth_first::next_state |
( |
| ) |
|
|
virtual |
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_s | The source state |
in | The source state number. |
out_s | The destination state |
out | The destination state number. |
si | The spot::tgba_succ_iterator positionned on the current transition. |
The in_s and out_s states are owned by the spot::ta_reachable_iterator instance and destroyed when the instance is destroyed.
virtual void spot::ta_reachable_iterator::process_state |
( |
const state * |
s, |
|
|
int |
n |
|
) |
| |
|
virtualinherited |
Called by run() to process a state.
- Parameters
-
void spot::ta_reachable_iterator::run |
( |
| ) |
|
|
inherited |
virtual void spot::ta_reachable_iterator::start |
( |
| ) |
|
|
virtualinherited |
Called by run() before starting its iteration.
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.
Member Data Documentation
seen_map spot::ta_reachable_iterator::seen |
|
protectedinherited |
const ta* spot::ta_reachable_iterator::t_automata_ |
|
protectedinherited |
std::stack<const state*> spot::ta_reachable_iterator_depth_first::todo |
|
protected |
A stack of states yet to explore.
The documentation for this class was generated from the following file: