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:50
The status of the emptiness-check on success.
Definition: status.hh:36