rawRandomInitialize()

void rawRandomInitialize

(

)

Randomization interface routines

Definition at line 21 of file random.cpp.

{
  RandomSeed = MASK;
  mpz_init_set_si(maxHeight, INITIALMAXINT);
  gmp_randinit_default(state);
}

References INITIALMAXINT, MASK, maxHeight, RandomSeed, and state.

Referenced by IM2_initialize().