60 : states_(0), transitions_(0), depth_(0), max_depth_(0)
63 static_cast<unsigned_statistics::unsigned_fun
>(&ec_statistics::states);
64 stats[
"transitions"] =
65 static_cast<unsigned_statistics::unsigned_fun
>
66 (&ec_statistics::transitions);
68 static_cast<unsigned_statistics::unsigned_fun
>
69 (&ec_statistics::max_depth);
73 set_states(
unsigned n)
91 inc_depth(
unsigned n = 1)
94 if (depth_ > max_depth_)
99 dec_depth(
unsigned n = 1)
101 SPOT_ASSERT(depth_ >= n);
131 unsigned transitions_;
145 : prefix_states_(0), cycle_states_(0)
147 stats[
"(non unique) states for prefix"] =
148 static_cast<unsigned_statistics::unsigned_fun
>
149 (&ars_statistics::ars_prefix_states);
150 stats[
"(non unique) states for cycle"] =
151 static_cast<unsigned_statistics::unsigned_fun
>
152 (&ars_statistics::ars_cycle_states);
156 inc_ars_prefix_states()
162 ars_prefix_states()
const
164 return prefix_states_;
168 inc_ars_cycle_states()
174 ars_cycle_states()
const
176 return cycle_states_;
180 unsigned prefix_states_;
181 unsigned cycle_states_;