17#if !defined(OPENNURBS_RANDOM_NUMBER_INC_)
18#define OPENNURBS_RANDOM_NUMBER_INC_
48void on_random_number_seed(
76ON__UINT32 on_random_number(
90void on_srand(ON__UINT32 s);
101ON__UINT32 on_rand(
void);
107#if defined(ON_CPLUSPLUS)
109class 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, std::size_t nel, std::size_t sizeof_element );