25 #include <spot/twaalgos/gtec/sccstack.hh>
26 #include <spot/twa/twa.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:141
Abstract class for states.
Definition: twa.hh:43
The status of the emptiness-check on success.
Definition: status.hh:36
Hash Function for state*.
Definition: twa.hh:165