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

Class UniformRandomDistribution

java.lang.Object

net.jqwik.engine.properties.arbitraries.randomized.UniformRandomDistribution

All Implemented Interfaces:

net.jqwik.api.RandomDistribution

public class UniformRandomDistribution
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
UniformRandomDistribution()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Details

UniformRandomDistribution

public UniformRandomDistribution()

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

toString

public String toString()

Overrides:

toString in class Object