10 static std::minstd_rand::result_type rand() {
return getInstance()._rng();};
11 static unsigned int rand30() {
return ((getInstance()._rng() << 15) ^ getInstance()._rng()) & 0x3fffffff;};
12 static void srand(std::minstd_rand::result_type val) {getInstance()._rng.seed(val);};
13 static const std::minstd_rand::result_type max() {
return getInstance()._rng.max();};
16 std::minstd_rand _rng;
26 globalRNG(
globalRNG const&) {fprintf(stderr,
"Error: copying is forbidden for the globalRNG object\n"); exit(-1);};
27 void operator=(
globalRNG const&) {fprintf(stderr,
"Error: assignment is forbidden for the globalRNG object\n"); exit(-1);};