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

Class GaussianRandomDistribution

java.lang.Object

net.jqwik.engine.properties.arbitraries.randomized.GaussianRandomDistribution

All Implemented Interfaces:

net.jqwik.api.RandomDistribution

public class GaussianRandomDistribution
extends Object
implements net.jqwik.api.RandomDistribution

Nested Class Summary

Nested classes/interfaces inherited from interface net.jqwik.api.RandomDistribution

net.jqwik.api.RandomDistribution.RandomDistributionFacade, net.jqwik.api.RandomDistribution.RandomNumericGenerator

Constructor Summary

Constructors

Constructor	Description
GaussianRandomDistribution(double borderSigma)

Method Summary

Modifier and Type	Method	Description
net.jqwik.api.RandomDistribution.RandomNumericGenerator	createGenerator(int genSize, BigInteger min, BigInteger max, BigInteger center)
boolean	equals(Object o)
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

GaussianRandomDistribution

public GaussianRandomDistribution(double borderSigma)

Method Details

createGenerator

public net.jqwik.api.RandomDistribution.RandomNumericGenerator createGenerator(int genSize,
 BigInteger min,
 BigInteger max,
 BigInteger center)

Specified by:

createGenerator in interface net.jqwik.api.RandomDistribution

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object