|
64 |
void SeedManager::SetSeed (uint32_t seed) |
64 |
void SeedManager::SetSeed (uint32_t seed) |
65 |
{ |
65 |
{ |
66 |
Config::SetGlobal ("RngSeed", IntegerValue (seed)); |
66 |
Config::SetGlobal ("RngSeed", IntegerValue (seed)); |
|
|
67 |
|
68 |
// A call to SeedManager::SetSeed is an explicit request for a reproducible |
69 |
// state. RngStream does not re-initialize itself after setting the global |
70 |
// value above, unless we explicitly call SetPackageSeed. |
71 |
RngStream::SetPackageSeed(seed); |
67 |
} |
72 |
} |
68 |
|
73 |
|
69 |
void SeedManager::SetRun (uint32_t run) |
74 |
void SeedManager::SetRun (uint32_t run) |