Searched refs:rngSeed (Results 1 – 2 of 2) sorted by relevance
81 public long rngSeed; field in Program155 rng.setSeed(Options.rngSeed); in Program()156 rngSeed = Options.rngSeed; in Program()161 rngSeed = seed; in Program()
43 public static long rngSeed = -1; field in Options229 rngSeed = Long.parseLong(value); in handleKeyValueOption()