Class JDKRandomGenerator

    • Field Summary

      Fields 
      Modifier and Type Field Description
      private static long serialVersionUID
      Serializable version identifier.
    • Constructor Summary

      Constructors 
      Constructor Description
      JDKRandomGenerator()
      Create a new JDKRandomGenerator with a default seed.
      JDKRandomGenerator​(int seed)
      Create a new JDKRandomGenerator with the given seed.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void setSeed​(int seed)
      Sets the seed of the underlying random number generator using an int seed.
      void setSeed​(int[] seed)
      Sets the seed of the underlying random number generator using an int array seed.
      • Methods inherited from class java.util.Random

        doubles, doubles, doubles, doubles, ints, ints, ints, ints, longs, longs, longs, longs, next, nextBoolean, nextBytes, nextDouble, nextFloat, nextGaussian, nextInt, nextInt, nextLong, setSeed
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • serialVersionUID

        private static final long serialVersionUID
        Serializable version identifier.
        See Also:
        Constant Field Values
    • Constructor Detail

      • JDKRandomGenerator

        public JDKRandomGenerator()
        Create a new JDKRandomGenerator with a default seed.
      • JDKRandomGenerator

        public JDKRandomGenerator​(int seed)
        Create a new JDKRandomGenerator with the given seed.
        Parameters:
        seed - initial seed
        Since:
        3.6
    • Method Detail

      • setSeed

        public void setSeed​(int seed)
        Sets the seed of the underlying random number generator using an int seed.

        Sequences of values generated starting with the same seeds should be identical.

        Specified by:
        setSeed in interface RandomGenerator
        Parameters:
        seed - the seed value
      • setSeed

        public void setSeed​(int[] seed)
        Sets the seed of the underlying random number generator using an int array seed.

        Sequences of values generated starting with the same seeds should be identical.

        Specified by:
        setSeed in interface RandomGenerator
        Parameters:
        seed - the seed value