23 #ifndef SPOT_TGBAALGOS_GTEC_CE_HH
24 # define SPOT_TGBAALGOS_GTEC_CE_HH
27 #include "tgbaalgos/emptiness.hh"
28 #include "tgbaalgos/emptiness_stats.hh"
43 void print_stats(std::ostream& os)
const;
45 virtual unsigned acss_states()
const;
50 void accepting_cycle();
58 #endif // SPOT_TGBAALGOS_GTEC_CE_HH
Manage a map of options.
Definition: optionmap.hh:37
An accepted run, for a tgba.
Definition: emptiness.hh:254
Compute a counter example from a spot::couvreur99_check_status.
Definition: ce.hh:33
Accepting Cycle Search Space statistics.
Definition: emptiness_stats.hh:254
The status of the emptiness-check on success.
Definition: status.hh:38
The result of an emptiness check.
Definition: emptiness.hh:77