Lines Matching defs:bits
42 const unsigned bits = 3;
43 const unsigned max_value = (1 << bits) - 1;
44 SatCounter counter(bits);
58 const unsigned bits = 3;
59 SatCounter counter(bits);
73 const unsigned bits = 3;
75 SatCounter counter(bits, initial_value);
87 const unsigned bits = 3;
88 const unsigned max_value = (1 << bits) - 1;
89 SatCounter counter(bits);
104 const unsigned bits = 3;
105 const unsigned max_value = (1 << bits) - 1;
106 SatCounter counter(bits);
121 const unsigned bits = 3;
122 SatCounter counter(bits);
145 const unsigned bits = 3;
146 const unsigned max_value = (1 << bits) - 1;
148 SatCounter counter(bits, initial_value);
149 SatCounter other(bits, initial_value);
152 SatCounter saturated_counter(bits, bits);
164 counter <<= bits;
168 counter >>= bits;
194 const unsigned bits = 3;
195 const unsigned max_value = (1 << bits) - 1;
196 SatCounter counter_pre(bits);
197 SatCounter counter_post(bits);
223 const unsigned bits = 3;
224 const unsigned max_value = (1 << bits) - 1;
226 SatCounter counter(bits, initial_value);
266 SatCounter counter_move(bits);
277 const unsigned bits = 3;
278 const unsigned max_value = (1 << bits) - 1;
279 SatCounter counter(bits);
280 SatCounter other(bits, 2);
281 SatCounter saturated_counter(bits, max_value);