23 #ifndef SPOT_TGBAALGOS_GTEC_STATUS_HH
24 # define SPOT_TGBAALGOS_GTEC_STATUS_HH
26 #include "sccstack.hh"
28 #include "tgba/tgba.hh"
48 const state* cycle_seed;
51 void print_stats(std::ostream& os)
const;
59 #endif // SPOT_TGBAALGOS_GTEC_STATUS_HH
Definition: sccstack.hh:34
Abstract class for states.
Definition: state.hh:40
Abstract factory for numbered_state_heap.
Definition: nsheap.hh:101
The status of the emptiness-check on success.
Definition: status.hh:38
A Transition-based Generalized Büchi Automaton.
Definition: tgba.hh:67
numbered_state_heap * h
Heap of visited states.
Definition: status.hh:47
Keep track of a large quantity of indexed states.
Definition: nsheap.hh:52