public class DefaultDoubleArbitrary extends AbstractArbitraryBase implements net.jqwik.api.arbitraries.DoubleArbitrary
| Constructor and Description |
|---|
DefaultDoubleArbitrary() |
| Modifier and Type | Method and Description |
|---|---|
net.jqwik.api.arbitraries.DoubleArbitrary |
between(double min,
boolean minIncluded,
double max,
boolean maxIncluded) |
java.util.Optional<net.jqwik.api.ExhaustiveGenerator<java.lang.Double>> |
exhaustive(long maxNumberOfSamples) |
net.jqwik.api.RandomGenerator<java.lang.Double> |
generator(int genSize) |
net.jqwik.api.arbitraries.DoubleArbitrary |
greaterOrEqual(double min) |
net.jqwik.api.arbitraries.DoubleArbitrary |
greaterThan(double min) |
net.jqwik.api.arbitraries.DoubleArbitrary |
lessOrEqual(double max) |
net.jqwik.api.arbitraries.DoubleArbitrary |
lessThan(double max) |
net.jqwik.api.arbitraries.DoubleArbitrary |
ofScale(int scale) |
net.jqwik.api.arbitraries.DoubleArbitrary |
shrinkTowards(double target) |
typedClonepublic net.jqwik.api.RandomGenerator<java.lang.Double> generator(int genSize)
generator in interface net.jqwik.api.Arbitrary<java.lang.Double>public java.util.Optional<net.jqwik.api.ExhaustiveGenerator<java.lang.Double>> exhaustive(long maxNumberOfSamples)
exhaustive in interface net.jqwik.api.Arbitrary<java.lang.Double>public net.jqwik.api.arbitraries.DoubleArbitrary between(double min,
boolean minIncluded,
double max,
boolean maxIncluded)
between in interface net.jqwik.api.arbitraries.DoubleArbitrarypublic net.jqwik.api.arbitraries.DoubleArbitrary greaterOrEqual(double min)
greaterOrEqual in interface net.jqwik.api.arbitraries.DoubleArbitrarypublic net.jqwik.api.arbitraries.DoubleArbitrary greaterThan(double min)
greaterThan in interface net.jqwik.api.arbitraries.DoubleArbitrarypublic net.jqwik.api.arbitraries.DoubleArbitrary lessOrEqual(double max)
lessOrEqual in interface net.jqwik.api.arbitraries.DoubleArbitrarypublic net.jqwik.api.arbitraries.DoubleArbitrary lessThan(double max)
lessThan in interface net.jqwik.api.arbitraries.DoubleArbitrarypublic net.jqwik.api.arbitraries.DoubleArbitrary ofScale(int scale)
ofScale in interface net.jqwik.api.arbitraries.DoubleArbitrarypublic net.jqwik.api.arbitraries.DoubleArbitrary shrinkTowards(double target)
shrinkTowards in interface net.jqwik.api.arbitraries.DoubleArbitrary