25 #include <spot/twaalgos/gtec/status.hh> 26 #include <spot/twaalgos/emptiness.hh> 27 #include <spot/twaalgos/emptiness_stats.hh> 38 std::shared_ptr<const couvreur99_check_status>& ecs,
41 virtual twa_run_ptr accepting_run()
override;
43 void print_stats(std::ostream& os)
const;
45 virtual unsigned acss_states()
const override;
50 void accepting_cycle();
53 std::shared_ptr<const couvreur99_check_status> ecs_;
Definition: automata.hh:26
Manage a map of options.
Definition: optionmap.hh:37
Compute a counter example from a spot::couvreur99_check_status.
Definition: ce.hh:32
Accepting Cycle Search Space statistics.
Definition: emptiness_stats.hh:193
The result of an emptiness check.
Definition: emptiness.hh:84