22 #ifndef SPOT_TGBAALGOS_EMPTINESS_STATS_HH
23 # define SPOT_TGBAALGOS_EMPTINESS_STATS_HH
43 get(
const char* str)
const
45 stats_map::const_iterator i =
stats.find(str);
46 assert(i !=
stats.end());
47 return (this->*i->second)();
51 typedef std::map<const char*, unsigned_fun, char_ptr_less_than>
stats_map;
79 unsigned_statistics::stats_map::const_iterator i;
80 for (i = o.
stats.begin(); i != o.
stats.end(); ++i)
81 stats[i->first] = (o.*i->second)();
90 typedef std::map<const char*, unsigned, char_ptr_less_than>
stats_map;
97 stats_map::const_iterator i;
100 stats_map::const_iterator i2 = o.
stats.find(i->first);
101 if (i2 == o.
stats.end())
103 if (i->second != i2->second)
112 return !(*
this == o);
131 stats[
"transitions"] =
134 stats[
"max. depth"] =
214 stats[
"(non unique) states for prefix"] =
217 stats[
"(non unique) states for cycle"] =
261 stats[
"search space states"] =
279 #endif // SPOT_TGBAALGOS_EMPTINESS_STATS_HH