Searched refs:theGlbRngSeed (Results 1 – 7 of 7) sorted by relevance
| /dports/benchmarks/polygraph/polygraph-4.13.0/src/tools/ |
| H A D | distr_test.cc | 35 theGlbRngSeed(this, "global_rng_seed <int>", "per-test r.n.g. seed", 1), in MyOpts()
52 IntOpt theGlbRngSeed; member in MyOpts
88 GlbPermut().reseed(TheOpts.theGlbRngSeed); in configure()
96 TheOpts.theGlbRngSeed.wasSet() || in configure()
132 reportOption(TheOpts.theGlbRngSeed); in reportConfiguration()
|
| /dports/benchmarks/polygraph/polygraph-4.13.0/src/runtime/ |
| H A D | SharedOpts.cc | 58 theGlbRngSeed(this, "global_rng_seed <int>","per-test r.n.g. seed", 1), in SharedOpts()
73 if (theGlbRngSeed <= 0) in validate()
74 cerr << ThePrgName << ": global r.n.g. seed must be positive; got: " << theGlbRngSeed << endl; in validate()
|
| H A D | PersistWorkSetMgr.cc | 171 TheOpts.theGlbRngSeed.set(glbSeed); in loadSeeds()
180 *theOutStream << (int)TheOpts.theLclRngSeed << (int)TheOpts.theGlbRngSeed; in storeSeeds()
|
| H A D | SharedOpts.h | 60 IntOpt theGlbRngSeed; variable
|
| /dports/benchmarks/polygraph/polygraph-4.13.0/src/client/ |
| H A D | pgl2ldif.cc | 38 theGlbRngSeed(this, "global_rng_seed <int>","per-test r.n.g. seed", 1), in MyOpts()
56 IntOpt theGlbRngSeed; member in MyOpts
309 GlbPermut().reseed(TheOpts.theGlbRngSeed); in main()
|
| /dports/benchmarks/polygraph/polygraph-4.13.0/src/pgl/ |
| H A D | pgl2acl.cc | 37 theGlbRngSeed(this, "global_rng_seed <int>","per-test r.n.g. seed", 1) in MyOpts()
47 IntOpt theGlbRngSeed; member in MyOpts
736 GlbPermut().reseed(TheOpts.theGlbRngSeed); in main()
|
| /dports/benchmarks/polygraph/polygraph-4.13.0/src/app/ |
| H A D | PolyApp.cc | 296 GlbPermut().reseed(TheOpts.theGlbRngSeed); in configureRnd()
|