Package net.jqwik.api
Interface RandomDistribution.RandomNumericGenerator
-
- Enclosing interface:
- RandomDistribution
@API(status=INTERNAL) public static interface RandomDistribution.RandomNumericGenerator
Generator for BigInteger values which are behind all generated numeric values in jqwik.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description java.math.BigInteger
next(java.util.Random random)
Generate next random number within the specified range given on creation of the generator.
-