-
static class
Represents an erroneous property check.
static class
Represents a falsified property check.
static class
Represents a satisfied property check.
Checkable.check(int size,
int tries)
Checks this property using the default random number generator
Checkable.RNG
.
Checkable.check(Random randomNumberGenerator,
int size,
int tries)
Property.Property1.check(Random random,
int size,
int tries)
Property.Property2.check(Random random,
int size,
int tries)
Property.Property3.check(Random random,
int size,
int tries)
Property.Property4.check(Random random,
int size,
int tries)
Property.Property5.check(Random random,
int size,
int tries)
Property.Property6.check(Random random,
int size,
int tries)
Property.Property7.check(Random random,
int size,
int tries)
Property.Property8.check(Random random,
int size,
int tries)