| Arbitrary |
Represents an arbitrary object of type T.
|
| Checkable |
|
| CheckResult |
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.
|
| Gen |
Generators are the building blocks for providing arbitrary objects.
|
| Property |
A property builder which provides a fluent API to build checkable properties.
|
| Property.CheckError |
Internally used to provide more specific error messages.
|
| Property.Condition |
Internally used to model conditions composed of pre- and post-condition.
|
| Property.ForAll1 |
Represents a logical for all quantor.
|
| Property.ForAll2 |
Represents a logical for all quantor.
|
| Property.ForAll3 |
Represents a logical for all quantor.
|
| Property.ForAll4 |
Represents a logical for all quantor.
|
| Property.ForAll5 |
Represents a logical for all quantor.
|
| Property.ForAll6 |
Represents a logical for all quantor.
|
| Property.ForAll7 |
Represents a logical for all quantor.
|
| Property.ForAll8 |
Represents a logical for all quantor.
|
| Property.Property1 |
Represents a 1-ary checkable property.
|
| Property.Property2 |
Represents a 2-ary checkable property.
|
| Property.Property3 |
Represents a 3-ary checkable property.
|
| Property.Property4 |
Represents a 4-ary checkable property.
|
| Property.Property5 |
Represents a 5-ary checkable property.
|
| Property.Property6 |
Represents a 6-ary checkable property.
|
| Property.Property7 |
Represents a 7-ary checkable property.
|
| Property.Property8 |
Represents a 8-ary checkable property.
|