22 #include <spot/twaalgos/sccinfo.hh>
23 #include <spot/misc/hash.hh>
70 : seen(
false), reach(
false), mark(
false), del(num)
83 std::vector<bool> del;
86 std::vector<unsigned> b;
90 const_twa_graph_ptr aut_;
92 std::vector<state_info> info_;
111 typedef std::vector<dfs_entry> dfs_stack;
145 void push_state(
unsigned s);
148 void nocycle(
unsigned x,
unsigned y);
150 void unmark(
unsigned y);
Enumerate elementary cycles in a SCC.
Definition: cycles.hh:64
virtual bool cycle_found(unsigned start)
Called whenever a cycle was found.
void run(unsigned scc)
Run in SCC scc, and call cycle_found() for any new elementary cycle found.
Compute an SCC map and gather assorted information.
Definition: sccinfo.hh:443
Definition: automata.hh:27
Definition: cycles.hh:102