RAND_MAX
[inline, static]
Gives a random integer in range [0,i].
Definition at line 37 of file RandomGenerator.h.
Referenced by PermutateVector().
00038 { 00039 return (int) (((double) std::rand() / ((double) RAND_MAX + 1.0)) * (i+1)); 00040 }