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_;
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:254
The result of an emptiness check.
Definition: emptiness.hh:84