| Modifier and Type | Method and Description |
|---|---|
<T1,T2,T3> Property.ForAll3<T1,T2,T3> |
Property.forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2,
Arbitrary<T3> a3)
Returns a logical for all quantor of 3 given variables.
|
Copyright © 2021. All Rights Reserved.