|
|
| 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) |