22 #include <spot/misc/hash.hh> 23 #include <spot/ta/ta.hh> 54 add_state(
const state* s) = 0;
63 want_state(
const state* s)
const;
77 process_state(
const state* s,
int n);
103 virtual void add_state(
const state* s)
override;
104 virtual const state* next_state()
override;
119 virtual void add_state(
const state* s)
override;
120 virtual const state* next_state()
override;
std::stack< const state * > todo
A stack of states yet to explore.
Definition: reachiter.hh:107
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:97
Abstract class for states.
Definition: twa.hh:50
An implementation of spot::ta_reachable_iterator that browses states breadth first.
Definition: reachiter.hh:113
state_map< int > seen
States already seen.
Definition: reachiter.hh:91
std::deque< const state * > todo
A queue of states yet to explore.
Definition: reachiter.hh:123
Iterate over the successors of a state.
Definition: ta.hh:197
const_ta_ptr t_automata_
The spot::ta to explore.
Definition: reachiter.hh:89