Package net.jqwik.engine.properties.arbitraries.randomized

Class GaussianNumericGenerator

  • All Implemented Interfaces:
    net.jqwik.api.RandomDistribution.RandomNumericGenerator
    public class GaussianNumericGenerator
extends java.lang.Object
implements net.jqwik.api.RandomDistribution.RandomNumericGenerator

    • Constructor Summary

      Constructors 
      Constructor Description
      GaussianNumericGenerator​(double borderSigma, java.math.BigInteger min, java.math.BigInteger max, java.math.BigInteger center)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.math.BigInteger next​(java.util.Random random)  

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Constructor Detail

      • GaussianNumericGenerator

        public GaussianNumericGenerator​(double borderSigma,
                                java.math.BigInteger min,
                                java.math.BigInteger max,
                                java.math.BigInteger center)

    • Method Detail

      • next

        public java.math.BigInteger next​(java.util.Random random)
        Specified by:
        next in interface net.jqwik.api.RandomDistribution.RandomNumericGenerator