Function ADS::resized

• Defined in File TableSize.h

Function Documentation

std::size_t ADS::resized(std::size_t m, bool grow, std::size_t m0)

the size after a doubling, or after a halving down to m0

Pre:

0 < m0 <= m

Post:

not below m0, and a power of two if m is one, a prime otherwise