| 38 | }; |
| 39 | |
| 40 | double DeterministicRandom::random01() { |
| 41 | double d = gen64() / double(uint64_t(-1)); |
| 42 | if (randLog && useRandLog) |
| 43 | fprintf(randLog, "R01 %f\n", d); |
| 44 | return d; |
| 45 | } |
| 46 | |
| 47 | int DeterministicRandom::randomInt(int min, int maxPlusOne) { |
| 48 | ASSERT(min < maxPlusOne); |