Modifier and Type | Method and Description |
---|---|
<T1,T2,T3,T4,T5,T6,T7,T8> |
Property.forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2,
Arbitrary<T3> a3,
Arbitrary<T4> a4,
Arbitrary<T5> a5,
Arbitrary<T6> a6,
Arbitrary<T7> a7,
Arbitrary<T8> a8)
Returns a logical for all quantor of 8 given variables.
|
Copyright © 2016. All Rights Reserved.