IntegerArbitrary (documentation 1.3.7 API)

All Superinterfaces:

Arbitrary<java.lang.Integer>, NumericalArbitrary<java.lang.Integer,IntegerArbitrary>
```
@API(status=MAINTAINED,
     since="1.0")
public interface IntegerArbitrary
extends NumericalArbitrary<java.lang.Integer,IntegerArbitrary>
```
Fluent interface to configure the generation of Integer and int values.

Nested Class Summary
- Nested classes/interfaces inherited from interface net.jqwik.api.Arbitrary
  Arbitrary.ArbitraryFacade

Method Summary

All Methods Instance Methods Abstract Methods Default Methods
Modifier and Type	Method	Description
`default IntegerArbitrary`	`between(int min, int max)`	Set the allowed lower `min` (included) and upper `max` (included) bounder of generated numbers.
`IntegerArbitrary`	`greaterOrEqual(int min)`	Set the allowed lower `min` (included) bounder of generated numbers.
`IntegerArbitrary`	`lessOrEqual(int max)`	Set the allowed upper `max` (included) bounder of generated numbers.
`IntegerArbitrary`	`shrinkTowards(int target)`	Set shrinking target to `target` which must be between the allowed bounds.

Methods inherited from interface net.jqwik.api.Arbitrary
allValues, array, asGeneric, collect, dontShrink, edgeCases, exhaustive, exhaustive, filter, fixGenSize, flatMap, forEachValue, generator, ignoreException, injectDuplicates, injectNull, isUnique, iterator, list, map, optional, sample, sampleStream, set, stream, tuple1, tuple2, tuple3, tuple4, tuple5, unique

Methods inherited from interface net.jqwik.api.arbitraries.NumericalArbitrary
withDistribution

- Method Detail
  - between
```
default IntegerArbitrary between(int min,
                                 int max)
```
    Set the allowed lower min (included) and upper max (included) bounder of generated numbers.
  - greaterOrEqual
```
IntegerArbitrary greaterOrEqual(int min)
```
    Set the allowed lower min (included) bounder of generated numbers.
  - lessOrEqual
```
IntegerArbitrary lessOrEqual(int max)
```
    Set the allowed upper max (included) bounder of generated numbers.
  - shrinkTowards
```
@API(status=EXPERIMENTAL,
     since="1.1.4")
IntegerArbitrary shrinkTowards(int target)
```
    Set shrinking target to target which must be between the allowed bounds.