public class DefaultFloatArbitrary extends AbstractArbitraryBase implements net.jqwik.api.arbitraries.FloatArbitrary
| Constructor and Description |
|---|
DefaultFloatArbitrary() |
| Modifier and Type | Method and Description |
|---|---|
net.jqwik.api.RandomGenerator<java.lang.Float> |
generator(int genSize) |
net.jqwik.api.arbitraries.FloatArbitrary |
greaterOrEqual(float min) |
net.jqwik.api.arbitraries.FloatArbitrary |
lessOrEqual(float max) |
net.jqwik.api.arbitraries.FloatArbitrary |
ofScale(int scale) |
net.jqwik.api.arbitraries.FloatArbitrary |
shrinkTowards(float target) |
typedClonepublic net.jqwik.api.RandomGenerator<java.lang.Float> generator(int genSize)
generator in interface net.jqwik.api.Arbitrary<java.lang.Float>public net.jqwik.api.arbitraries.FloatArbitrary greaterOrEqual(float min)
greaterOrEqual in interface net.jqwik.api.arbitraries.FloatArbitrarypublic net.jqwik.api.arbitraries.FloatArbitrary lessOrEqual(float max)
lessOrEqual in interface net.jqwik.api.arbitraries.FloatArbitrarypublic net.jqwik.api.arbitraries.FloatArbitrary ofScale(int scale)
ofScale in interface net.jqwik.api.arbitraries.FloatArbitrarypublic net.jqwik.api.arbitraries.FloatArbitrary shrinkTowards(float target)
shrinkTowards in interface net.jqwik.api.arbitraries.FloatArbitrary