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.