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