| … | |
… | |
| 486 | } |
486 | } |
| 487 | |
487 | |
| 488 | // return a number within the closed interval [min .. max] |
488 | // return a number within the closed interval [min .. max] |
| 489 | int operator () (int r_min, int r_max) |
489 | int operator () (int r_min, int r_max) |
| 490 | { |
490 | { |
| 491 | return is_constant (r_min) && is_constant (r_max) && r_min <= r_max |
491 | return is_constant (r_min <= r_max) && r_min <= r_max |
| 492 | ? r_min + operator ()(r_max - r_min + 1) |
492 | ? r_min + operator ()(r_max - r_min + 1) |
| 493 | : get_range (r_min, r_max); |
493 | : get_range (r_min, r_max); |
| 494 | } |
494 | } |
| 495 | |
495 | |
| 496 | // return a number within the closed interval [0..1] |
496 | // return a number within the closed interval [0..1] |
