Package net.jqwik.engine.properties.shrinking

Klasse AggressiveSizeOfListShrinker<T>

java.lang.Object
net.jqwik.engine.properties.shrinking.AggressiveSizeOfListShrinker<T>
public class AggressiveSizeOfListShrinker<T> extends Object

  • Konstruktordetails

    • AggressiveSizeOfListShrinker

      public AggressiveSizeOfListShrinker(int minSize)

  • Methodendetails

    • shrink

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

    • cutsToMinsize

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

    • cutsToMinsizePlus1

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

    • cutInHalves

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