25 #include <spot/twaalgos/gtec/sccstack.hh>
26 #include <spot/twa/twa.hh>
48 const state* cycle_seed;
The status of the emptiness-check on success.
Definition: status.hh:37
int states() const
Return the number of states visited by the search.
void print_stats(std::ostream &os) const
Output statistics about this object.
Definition: sccstack.hh:34
Abstract class for states.
Definition: twa.hh:51
Definition: automata.hh:27
std::unordered_map< const state *, val, state_ptr_hash, state_ptr_equal > state_map
Unordered map of abstract states.
Definition: twa.hh:197