43a44
> #include "base/sat_counter.hh"
51,52d51
< /** Maximum value of the confidence counters */
< const unsigned maxCounterValue;
74,75c73,74
< unsigned counter;
< AddressMapping() : address(0), counter(0)
---
> SatCounter counter;
> AddressMapping(unsigned bits) : address(0), counter(bits)
85c84,85
< AddressMappingEntry(size_t num_mappings) : mappings(num_mappings)
---
> AddressMappingEntry(size_t num_mappings, unsigned counter_bits)
> : mappings(num_mappings, counter_bits)
91c91
< entry.counter = 0;
---
> entry.counter.reset();