263
263
interval_max= (val == UINT64_MAX) ? val : start + val * incr;
265
265
Discrete_interval(uint64_t start, uint64_t val, uint64_t incr) :
268
274
uint64_t minimum() const { return interval_min; };
269
275
uint64_t values() const { return interval_values; };
270
276
uint64_t maximum() const { return interval_max; };