21#include <spot/twaalgos/sccinfo.hh>
22#include <spot/misc/hash.hh>
69 : seen(
false), reach(
false), mark(
false), del(num)
82 std::vector<bool> del;
85 std::vector<unsigned> b;
89 const_twa_graph_ptr aut_;
91 std::vector<state_info> info_;
110 typedef std::vector<dfs_entry> dfs_stack;
144 void push_state(
unsigned s);
147 void nocycle(
unsigned x,
unsigned y);
149 void unmark(
unsigned y);
Enumerate elementary cycles in a SCC.
Definition: cycles.hh:63
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:449
Definition: automata.hh:26
Definition: cycles.hh:101