Searched refs:prng (Results 1 – 2 of 2) sorted by relevance
327 String prng = getPrngAlgorithm(); in getDefaultPRNG() local328 if (prng == null) { in getDefaultPRNG()333 SecureRandom random = SecureRandom.getInstance(prng); in getDefaultPRNG()350 this.algorithm = prng; in getDefaultPRNG()
104 final Random prng = new Random(13); in shuffle() local108 final int j = i + prng.nextInt(size - i); in shuffle()