net.jqwik.engine.properties.arbitraries.randomized

Class RandomIntegralGenerators

java.lang.Object

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

public class RandomIntegralGenerators
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
RandomIntegralGenerators()

Method Summary

Modifier and Type	Method and Description
static net.jqwik.api.RandomGenerator<java.math.BigInteger>	bigIntegers(Range<java.math.BigInteger> range, java.math.BigInteger[] partitionPoints, java.util.function.Function<java.math.BigInteger,java.math.BigInteger> shrinkingTargetCalculator)

Methods inherited from class java.lang.Object

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

Constructor Detail

RandomIntegralGenerators

public RandomIntegralGenerators()

Method Detail

bigIntegers

public static net.jqwik.api.RandomGenerator<java.math.BigInteger> bigIntegers(Range<java.math.BigInteger> range,
                                                                              java.math.BigInteger[] partitionPoints,
                                                                              java.util.function.Function<java.math.BigInteger,java.math.BigInteger> shrinkingTargetCalculator)