Package net.jqwik.engine.properties.shrinking

Class SizeOfListShrinker<T>

java.lang.Object

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

public class SizeOfListShrinker<T>
extends Object

Constructor Summary

Constructors

Constructor	Description
SizeOfListShrinker(int minSize)

Method Summary

Modifier and Type	Method	Description
Stream<List<T>>	cuts(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

SizeOfListShrinker

public SizeOfListShrinker(int minSize)

Method Details

shrink

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

cuts

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