Package net.jqwik.engine.properties.shrinking

Class SizeOfListShrinker<T>

  • public class SizeOfListShrinker<T>
extends java.lang.Object

    • Constructor Summary

      Constructors 
      Constructor Description
      SizeOfListShrinker​(int minSize)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.util.stream.Stream<java.util.List<T>> cuts​(java.util.List<T> toShrink)  
      java.util.stream.Stream<java.util.List<T>> shrink​(java.util.List<T> toShrink)  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • SizeOfListShrinker

        public SizeOfListShrinker​(int minSize)

    • Method Detail

      • shrink

        public java.util.stream.Stream<java.util.List<T>> shrink​(java.util.List<T> toShrink)

      • cuts

        public java.util.stream.Stream<java.util.List<T>> cuts​(java.util.List<T> toShrink)