114 #ifndef _LIBUTIL_GENRAND_H_ 115 #define _LIBUTIL_GENRAND_H_ 117 #define S3_RAND_MAX_INT32 0x7fffffff 121 #include <sphinxbase/sphinxbase_export.h> 144 #define s3_rand_seed(s) genrand_seed(s); 145 #define s3_rand_int31() genrand_int31() 146 #define s3_rand_real() genrand_real3() 147 #define s3_rand_res53() genrand_res53() SPHINXBASE_EXPORT double genrand_res53(void)
generates a random number on [0,1) with 53-bit resolution
SPHINXBASE_EXPORT long genrand_int31(void)
generates a random number on [0,0x7fffffff]-interval
SPHINXBASE_EXPORT double genrand_real3(void)
generates a random number on (0,1)-real-interval
SPHINXBASE_EXPORT void genrand_seed(unsigned long s)
Initialize the seed of the random generator.