Searched defs:prng (Results 1 – 2 of 2) sorted by relevance
104 final Random prng = new Random(13); in shuffle() local
327 String prng = getPrngAlgorithm(); in getDefaultPRNG() local