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

Klasse RandomIntegralGenerators

java.lang.Object

net.jqwik.engine.properties.arbitraries.randomized.RandomIntegralGenerators

public class RandomIntegralGenerators
extends Object

Konstruktorübersicht

Konstruktoren

Konstruktor	Beschreibung
RandomIntegralGenerators()

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
static net.jqwik.api.RandomGenerator<BigInteger>	bigIntegers(int genSize, BigInteger min, BigInteger max, BigInteger shrinkingTarget, net.jqwik.api.RandomDistribution distribution)
static BigInteger	defaultShrinkingTarget(Range<BigInteger> range)

Von Klasse geerbte Methoden java.lang.Object

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

Konstruktordetails

RandomIntegralGenerators

public RandomIntegralGenerators()

Methodendetails

bigIntegers

public static net.jqwik.api.RandomGenerator<BigInteger> bigIntegers(int genSize,
 BigInteger min,
 BigInteger max,
 BigInteger shrinkingTarget,
 net.jqwik.api.RandomDistribution distribution)

defaultShrinkingTarget

public static BigInteger defaultShrinkingTarget(Range<BigInteger> range)