22 #include "misc/hash.hh"
54 add_state(
const state* s) = 0;
63 want_state(
const state* s)
const;
77 process_state(
const state* s,
int n);
91 typedef std::unordered_map<
const state*, int,
106 add_state(
const state* s);
124 add_state(
const state* s);
std::stack< const state * > todo
A stack of states yet to explore.
Definition: reachiter.hh:111
An Equivalence Relation for state*.
Definition: twa.hh:138
Iterate over all reachable states of a spot::ta.
Definition: reachiter.hh:31
An implementation of spot::ta_reachable_iterator that browses states depth first. ...
Definition: reachiter.hh:99
Abstract class for states.
Definition: twa.hh:40
An implementation of spot::ta_reachable_iterator that browses states breadth first.
Definition: reachiter.hh:117
seen_map seen
States already seen.
Definition: reachiter.hh:93
Hash Function for state*.
Definition: twa.hh:162
std::deque< const state * > todo
A queue of states yet to explore.
Definition: reachiter.hh:129
Iterate over the successors of a state.
Definition: ta.hh:196
const_ta_ptr t_automata_
The spot::ta to explore.
Definition: reachiter.hh:89