25 #include "sccstack.hh"
46 typedef std::unordered_map<
const state*, int,
50 const state* cycle_seed;
53 void print_stats(std::ostream& os)
const;
Definition: sccstack.hh:33
An Equivalence Relation for state*.
Definition: twa.hh:138
Abstract class for states.
Definition: twa.hh:40
The status of the emptiness-check on success.
Definition: status.hh:36
Hash Function for state*.
Definition: twa.hh:162