src/base/sat_counter.hh

6  * not be construed as granting a license to any other intellectual
23  * documentation and/or other materials provided with the distribution;
82     SatCounter(const SatCounter& other)
83         : initialVal(other.initialVal), maxVal(other.maxVal),
84           counter(other.counter)
89     SatCounter& operator=(const SatCounter& other) {
90         if (this != &other) {
91             SatCounter temp(other);
98     SatCounter(SatCounter&& other)
100         initialVal = other.initialVal;
101         maxVal = other.maxVal;
102         counter = other.counter;
104         other.swap(temp);
108     SatCounter& operator=(SatCounter&& other) {
109         if (this != &other) {
110             initialVal = other.initialVal;
111             maxVal = other.maxVal;
112             counter = other.counter;
114             other.swap(temp);
123      * @param other The other object to swap contents with.
126     swap(SatCounter& other)
128         std::swap(initialVal, other.initialVal);
129         std::swap(maxVal, other.maxVal);
130         std::swap(counter, other.counter);