Package io.vavr.test
Class Property.ForAll4<T1,T2,T3,T4>
java.lang.Object
io.vavr.test.Property.ForAll4<T1,T2,T3,T4>
- Type Parameters:
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 quantor
- Enclosing class:
Property
Represents a logical for all quantor.
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
-
Field Details
-
name
-
a1
-
a2
-
a3
-
a4
-
-
Constructor Details
-
ForAll4
-
-
Method Details
-
suchThat
Returns a checkable property that checks values of the 4 variables of thisForAll
quantor.- Parameters:
predicate
- A 4-ary predicate- Returns:
- a new
Property4
of 4 variables.
-