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