T1
- 1st variable type of this for all quantorT2
- 2nd variable type of this for all quantorT3
- 3rd variable type of this for all quantorT4
- 4th variable type of this for all quantorT5
- 5th variable type of this for all quantorT6
- 6th variable type of this for all quantorT7
- 7th variable type of this for all quantorT8
- 8th variable type of this for all quantorpublic static class Property.ForAll8<T1,T2,T3,T4,T5,T6,T7,T8> extends Object
Modifier and Type | Method and Description |
---|---|
Property.Property8<T1,T2,T3,T4,T5,T6,T7,T8> |
suchThat(CheckedFunction8<T1,T2,T3,T4,T5,T6,T7,T8,Boolean> predicate)
Returns a checkable property that checks values of the 8 variables of this
ForAll quantor. |
public Property.Property8<T1,T2,T3,T4,T5,T6,T7,T8> suchThat(CheckedFunction8<T1,T2,T3,T4,T5,T6,T7,T8,Boolean> predicate)
ForAll
quantor.predicate
- A 8-ary predicateProperty8
of 8 variables.Copyright © 2016. All Rights Reserved.