Package net.jqwik.api

Class ShrinkingDistance

All Implemented Interfaces:

@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.