double RandomGenerator::randf(double v) {
float rv;
do {
- rv = ((double)RandomGenerator::random())/RandomGenerator::rand_max * v;
- } while (rv >= v); // rounding might cause rv==v
+ rv = ((double)RandomGenerator::random())/RandomGenerator::rand_max * v;
+ } while (rv >= v); // rounding might cause rv==v
if (debug > 0)
printf("==== rand(): %f =====\n", rv);