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

Class BiasedRandomDistribution

java.lang.Object

net.jqwik.engine.properties.arbitraries.randomized.BiasedRandomDistribution

All Implemented Interfaces:

net.jqwik.api.RandomDistribution

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

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

BiasedRandomDistribution

public BiasedRandomDistribution()

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