ref: 928a5bb801e95e2c8d1c3153427c74ddf908649b
dir: /random.c/
#include "flisp.h" #include "mt19937-64.h" #include "timefuncs.h" #include "random.h" static mt19937_64 ctx; uint64_t genrand_uint64(void) { return genrand64_int64(&ctx); } uint32_t genrand_uint32(void) { return genrand64_int64(&ctx) >> 32; } double genrand_double(void) { return genrand64_real1(&ctx); } void randomize(void) { unsigned long long tm = sec_realtime() * 1000.0; init_by_array64(&ctx, &tm, 1); }