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,
43 void print_stats(std::ostream& os)
const;
53 std::shared_ptr<const couvreur99_check_status> ecs_;
Accepting Cycle Search Space statistics.
Definition: emptiness_stats.hh:194
Compute a counter example from a spot::couvreur99_check_status.
Definition: ce.hh:35
virtual twa_run_ptr accepting_run() override
Return a run accepted by the automata passed to the emptiness check.
virtual unsigned acss_states() const override
Number of states in the search space for the accepting cycle.
The result of an emptiness check.
Definition: emptiness.hh:85
Manage a map of options.
Definition: optionmap.hh:38
Definition: automata.hh:27