src/base/sat_counter.test.cc

44     SatCounter counter(bits);
59     SatCounter counter(bits);
75     SatCounter counter(bits, initial_value);
89     SatCounter counter(bits);
106     SatCounter counter(bits);
122     SatCounter counter(bits);
148     SatCounter counter(bits, initial_value);
149     SatCounter other(bits, initial_value);
152     SatCounter saturated_counter(bits, bits);
196     SatCounter counter_pre(bits);
197     SatCounter counter_post(bits);
201         SatCounter value_pre = ++counter_pre;
210         SatCounter value_pre = --counter_pre;
226     SatCounter counter(bits, initial_value);
227     SatCounter deep_copy(1);
228     SatCounter counter_copy(2);
235     SatCounter counter_copy_constructor(counter);
262     SatCounter counter_move_constructor(std::move(counter));
266     SatCounter counter_move(bits);
279     SatCounter counter(bits);
280     SatCounter other(bits, 2);
281     SatCounter saturated_counter(bits, max_value);