Iterate over all states of an automaton using a DFS.
More...
#include <spot/twaalgos/reachiter.hh>
|
virtual void | push (const state *s, int sn) |
| Push a new state in todo.
|
|
virtual void | pop () |
| Pop the DFS stack.
|
|
Iterate over all states of an automaton using a DFS.
◆ end()
virtual void spot::twa_reachable_iterator_depth_first::end |
( |
| ) |
|
|
virtual |
Called by run() once all states have been explored.
◆ pop()
virtual void spot::twa_reachable_iterator_depth_first::pop |
( |
| ) |
|
|
protectedvirtual |
◆ process_link()
virtual void spot::twa_reachable_iterator_depth_first::process_link |
( |
const state * |
in_s, |
|
|
int |
in, |
|
|
const state * |
out_s, |
|
|
int |
out, |
|
|
const twa_succ_iterator * |
si |
|
) |
| |
|
virtual |
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::twa_succ_iterator positioned on the current transition. |
The in_s and out_s states are owned by the spot::twa_reachable_iterator instance and destroyed when the instance is destroyed.
◆ process_state()
virtual void spot::twa_reachable_iterator_depth_first::process_state |
( |
const state * |
s, |
|
|
int |
n, |
|
|
twa_succ_iterator * |
si |
|
) |
| |
|
virtual |
Called by run() to process a state.
- Parameters
-
◆ push()
virtual void spot::twa_reachable_iterator_depth_first::push |
( |
const state * |
s, |
|
|
int |
sn |
|
) |
| |
|
protectedvirtual |
◆ run()
virtual void spot::twa_reachable_iterator_depth_first::run |
( |
| ) |
|
|
virtual |
◆ start()
virtual void spot::twa_reachable_iterator_depth_first::start |
( |
| ) |
|
|
virtual |
Called by run() before starting its iteration.
◆ want_state()
virtual bool spot::twa_reachable_iterator_depth_first::want_state |
( |
const state * |
s | ) |
const |
|
virtual |
Called by add_state or next_states implementations to filter states. Default implementation always return true.
◆ aut_
const_twa_ptr spot::twa_reachable_iterator_depth_first::aut_ |
|
protected |
The spot::tgba to explore.
◆ seen
state_map<int> spot::twa_reachable_iterator_depth_first::seen |
|
protected |
◆ todo
std::deque<stack_item> spot::twa_reachable_iterator_depth_first::todo |
|
protected |
The documentation for this class was generated from the following file: