20 #ifndef SPOT_TAALGOS_REACHITER_HH
21 # define SPOT_TAALGOS_REACHITER_HH
23 #include "misc/hash.hh"
55 add_state(
const state* s) = 0;
64 want_state(
const state* s)
const;
78 process_state(
const state* s,
int n);
92 typedef Sgi::hash_map<const state*, int, state_ptr_hash, state_ptr_equal>
107 add_state(
const state* s);
125 add_state(
const state* s);
135 #endif // SPOT_TAALGOS_REACHITER_HH
std::stack< const state * > todo
A stack of states yet to explore.
Definition: reachiter.hh:112
Iterate over all reachable states of a spot::ta.
Definition: reachiter.hh:32
An implementation of spot::ta_reachable_iterator that browses states depth first. ...
Definition: reachiter.hh:100
Abstract class for states.
Definition: state.hh:40
An implementation of spot::ta_reachable_iterator that browses states breadth first.
Definition: reachiter.hh:118
seen_map seen
States already seen.
Definition: reachiter.hh:94
const ta * t_automata_
The spot::ta to explore.
Definition: reachiter.hh:90
A Testing Automaton.
Definition: ta.hh:78
std::deque< const state * > todo
A queue of states yet to explore.
Definition: reachiter.hh:130
Iterate over the successors of a state.
Definition: ta.hh:186