17 #if !defined(OPENNURBS_RANDOM_NUMBER_INC_) 18 #define OPENNURBS_RANDOM_NUMBER_INC_ 48 void on_random_number_seed(
76 ON__UINT32 on_random_number(
90 void on_srand(ON__UINT32 s);
101 ON__UINT32 on_rand(
void);
107 #if defined(ON_CPLUSPLUS) 109 class ON_CLASS ON_RandomNumberGenerator
112 ON_RandomNumberGenerator();
120 void Seed( ON__UINT32 s );
126 ON__UINT32 RandomNumber();
132 double RandomDouble();
138 double RandomDouble(
double t0,
double t1);
151 void RandomPermutation(
void* base,
size_t nel,
size_t sizeof_element );