Lines Matching refs:RandomNumberGenerator
513 RandomNumberGenerator RNG(getFlags().getRandomSeed(),589 RandomNumberGenerator RNG(getFlags().getRandomSeed(), RPE_FunctionReordering);909 RandomNumberGenerator RNG(getFlags().getRandomSeed(),
