Represents an arbitrary object of type T.
Represents the result of a property check which is
Satisfied, if all tests satisfied the given property
Falsified, if a counter-example could be discovered that falsified the given property
Erroneous, if an exception occurred executing the property check
Please note that a Satisfied property check may be Exhausted, if the property is an implication
and no sample could be found that satisfied the pre-condition.
Generators are the building blocks for providing arbitrary objects.
A property builder which provides a fluent API to build checkable properties.
Represents a logical for all quantor.
Represents a logical for all quantor.
Represents a logical for all quantor.
Represents a logical for all quantor.
Represents a logical for all quantor.
Represents a logical for all quantor.
Represents a logical for all quantor.
Represents a logical for all quantor.
Represents a 1-ary checkable property.
Represents a 2-ary checkable property.
Represents a 3-ary checkable property.
Represents a 4-ary checkable property.
Represents a 5-ary checkable property.
Represents a 6-ary checkable property.
Represents a 7-ary checkable property.
Represents a 8-ary checkable property.