25 #include <spot/misc/common.hh>
26 #include <spot/misc/ltstr.hh>
43 get(
const char* str)
const
45 auto i = stats.find(str);
46 SPOT_ASSERT(i != stats.end());
47 return (this->*i->second)();
51 typedef std::map<const char*, unsigned_fun, char_ptr_less_than> stats_map;
64 : states_(0), transitions_(0), depth_(0), max_depth_(0)
67 static_cast<unsigned_statistics::unsigned_fun
>(&ec_statistics::states);
68 stats[
"transitions"] =
69 static_cast<unsigned_statistics::unsigned_fun
>
70 (&ec_statistics::transitions);
72 static_cast<unsigned_statistics::unsigned_fun
>
73 (&ec_statistics::max_depth);
77 set_states(
unsigned n)
95 inc_depth(
unsigned n = 1)
98 if (depth_ > max_depth_)
103 dec_depth(
unsigned n = 1)
105 SPOT_ASSERT(depth_ >= n);
135 unsigned transitions_;
149 : prefix_states_(0), cycle_states_(0)
151 stats[
"(non unique) states for prefix"] =
152 static_cast<unsigned_statistics::unsigned_fun
>
153 (&ars_statistics::ars_prefix_states);
154 stats[
"(non unique) states for cycle"] =
155 static_cast<unsigned_statistics::unsigned_fun
>
156 (&ars_statistics::ars_cycle_states);
160 inc_ars_prefix_states()
166 ars_prefix_states()
const
168 return prefix_states_;
172 inc_ars_cycle_states()
178 ars_cycle_states()
const
180 return cycle_states_;
184 unsigned prefix_states_;
185 unsigned cycle_states_;
198 stats[
"search space states"] =
199 static_cast<unsigned_statistics::unsigned_fun
>
Accepting Cycle Search Space statistics.
Definition: emptiness_stats.hh:194
virtual unsigned acss_states() const =0
Number of states in the search space for the accepting cycle.
Accepting Run Search statistics.
Definition: emptiness_stats.hh:146
Emptiness-check statistics.
Definition: emptiness_stats.hh:61
Definition: automata.hh:27
Definition: emptiness_stats.hh:36