21#include <spot/twaalgos/gtec/sccstack.hh>
22#include <spot/twa/twa.hh>
44 const state* cycle_seed;
The status of the emptiness-check on success.
Definition: status.hh:33
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:30
Abstract class for states.
Definition: twa.hh:47
Definition: automata.hh:26
std::unordered_map< const state *, val, state_ptr_hash, state_ptr_equal > state_map
Unordered map of abstract states.
Definition: twa.hh:193