rawSetRandomSeed()

void rawSetRandomSeed

(

gmp_ZZ

newseed

)

Definition at line 28 of file random.cpp.

{
  gmp_randseed(state, newseed);
 
  int32_t s = mpz_get_si(newseed);
  s = s & 0x7fffffff;
  if (s == MASK) s = 0;
  RandomSeed = s ^ MASK;
}

References MASK, RandomSeed, s, and state.