25 #include <spot/twaalgos/gtec/sccstack.hh>
26 #include <spot/twa/twa.hh>
48 const state* cycle_seed;
51 void print_stats(std::ostream& os)
const;
Definition: sccstack.hh:33
Abstract class for states.
Definition: twa.hh:43
The status of the emptiness-check on success.
Definition: status.hh:36