Package net.jqwik.engine.properties.shrinking

Class AggressiveSizeOfListShrinker<T>

java.lang.Object

net.jqwik.engine.properties.shrinking.AggressiveSizeOfListShrinker<T>

public class AggressiveSizeOfListShrinker<T>
extends Object

Constructor Summary

Constructors

Constructor	Description
AggressiveSizeOfListShrinker(int minSize)

Method Summary

Modifier and Type	Method	Description
Stream<List<T>>	cutInHalves(List<T> toShrink)
Stream<List<T>>	cutsToMinsize(List<T> toShrink)
Stream<List<T>>	cutsToMinsizePlus1(List<T> toShrink)
Stream<List<T>>	shrink(List<T> toShrink)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

AggressiveSizeOfListShrinker

public AggressiveSizeOfListShrinker(int minSize)

Method Details

shrink

public Stream<List<T>> shrink(List<T> toShrink)

cutsToMinsize

public Stream<List<T>> cutsToMinsize(List<T> toShrink)

cutsToMinsizePlus1

public Stream<List<T>> cutsToMinsizePlus1(List<T> toShrink)

cutInHalves

public Stream<List<T>> cutInHalves(List<T> toShrink)