20 #ifndef SPOT_TGBAALGOS_CYCLES_HH
21 # define SPOT_TGBAALGOS_CYCLES_HH
24 #include "misc/hash.hh"
46 class SPOT_API enumerate_cycles
82 typedef Sgi::hash_set<
const state*,
83 state_ptr_hash, state_ptr_equal> set_type;
89 : reach(
false),
mark(
false)
115 typedef hash_type::iterator tagged_state;
133 typedef std::deque<dfs_entry> dfs_stack;
145 void run(
unsigned scc);
163 virtual bool cycle_found(
const state* start);
167 tagged_state tag_state(
const state* s);
169 void push_state(tagged_state ts);
172 void nocycle(tagged_state x, tagged_state y);
174 void unmark(tagged_state y);
179 #endif // SPOT_TGBAALGOS_CYCLES_HH
An Equivalence Relation for state*.
Definition: state.hh:139
Abstract class for states.
Definition: state.hh:40
Iterate over the successors of a state.
Definition: succiter.hh:38
Hash Function for state*.
Definition: state.hh:164
Enumerate elementary cycles in a SCC.
Definition: cycles.hh:79
A Transition-based Generalized Büchi Automaton.
Definition: tgba.hh:67
int mark
the type that represents a mark
Definition: markset.hh:32
Definition: cycles.hh:127
Build a map of Strongly Connected components in in a TGBA.
Definition: scc.hh:70