Searched refs:seed (Results 1 – 5 of 5) sorted by relevance
179 private void insertRandomParts(long seed) in insertRandomParts() argument182 java.util.Random rnd = new java.util.Random(seed); in insertRandomParts()190 private void deleteRandomParts(long seed) in deleteRandomParts() argument193 java.util.Random rnd = new java.util.Random(seed); in deleteRandomParts()202 private void insertLinebreaks(long seed) in insertLinebreaks() argument206 java.util.Random rnd = new java.util.Random(seed); in insertLinebreaks()
125 double seed; in __rtl_random_initPool() local154 seed = __rtl_random_data (&rd); in __rtl_random_initPool()155 __rtl_random_seedPool (pImpl, (sal_uInt8*)&seed, sizeof(seed)); in __rtl_random_initPool()
634 final long seed = m_randomGenerator.nextLong(); in setUpConnection() local635 m_randomGenerator.setSeed( seed ); in setUpConnection()636 System.out.println( "seeding random number generator with " + seed ); in setUpConnection()
56 random.seed()
84 Optional random seed for OpenType glyph variations.
Completed in 29 milliseconds