Package net.jqwik.api

Class ShrinkingDistance

java.lang.Object
net.jqwik.api.ShrinkingDistance
All Implemented Interfaces:
Comparable<ShrinkingDistance>

@API(status=STABLE, since="1.0") public class ShrinkingDistance extends Object implements Comparable<ShrinkingDistance>
A ShrinkingDistance is a measure of how close a value is to the minimum value, aka target value.

The distance is used during shrinking to determine if a shrunk value is really closer to the target value. If it is not, the value is being discarded.