Modifier and Type | Method and Description |
---|---|
Property.Property8<T1,T2,T3,T4,T5,T6,T7,T8> |
Property.ForAll8.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. |
Copyright © 2016. All Rights Reserved.