Package net.jqwik.engine.properties.arbitraries.randomized

Class BiasedRandomDistribution

  • All Implemented Interfaces:
    net.jqwik.api.RandomDistribution
    public class BiasedRandomDistribution
extends java.lang.Object
implements net.jqwik.api.RandomDistribution

    • Nested Class Summary

      • Nested classes/interfaces inherited from interface net.jqwik.api.RandomDistribution

        net.jqwik.api.RandomDistribution.RandomDistributionFacade, net.jqwik.api.RandomDistribution.RandomNumericGenerator

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      net.jqwik.api.RandomDistribution.RandomNumericGenerator createGenerator​(int genSize, java.math.BigInteger min, java.math.BigInteger max, java.math.BigInteger center)  
      java.lang.String toString()  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • BiasedRandomDistribution

        public BiasedRandomDistribution()

    • Method Detail

      • createGenerator

        public net.jqwik.api.RandomDistribution.RandomNumericGenerator createGenerator​(int genSize,
                                                                               java.math.BigInteger min,
                                                                               java.math.BigInteger max,
                                                                               java.math.BigInteger center)
        Specified by:
        createGenerator in interface net.jqwik.api.RandomDistribution

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object