Property.ForAll3

java.lang.Object
- io.vavr.test.Property.ForAll3<T1,T2,T3>

Type Parameters:

T1 - 1st variable type of this for all quantor

T2 - 2nd variable type of this for all quantor

T3 - 3rd variable type of this for all quantor

Enclosing class:

Property
```
public static class Property.ForAll3<T1,T2,T3>
extends java.lang.Object
```
Represents a logical for all quantor.

Field Summary

Fields
Modifier and Type Field Description

private Arbitrary<T1> a1

private Arbitrary<T2> a2

private Arbitrary<T3> a3

private java.lang.String name

Constructor Summary

Constructors
Constructor Description

ForAll3(java.lang.String name, Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`Property.Property3<T1,T2,T3>`	`suchThat(CheckedFunction3<T1,T2,T3,java.lang.Boolean> predicate)`	Returns a checkable property that checks values of the 3 variables of this `ForAll` quantor.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

name
```
private final java.lang.String name
```

a1
```
private final Arbitrary<T1> a1
```

a2
```
private final Arbitrary<T2> a2
```

a3
```
private final Arbitrary<T3> a3
```

Constructor Detail

ForAll3

ForAll3(java.lang.String name,
        Arbitrary<T1> a1,
        Arbitrary<T2> a2,
        Arbitrary<T3> a3)

Method Detail
- suchThat
```
public Property.Property3<T1,T2,T3> suchThat(CheckedFunction3<T1,T2,T3,java.lang.Boolean> predicate)
```
  Returns a checkable property that checks values of the 3 variables of this ForAll quantor.
  
  Parameters:
  
  predicate - A 3-ary predicate
  
  Returns:
  
  a new Property3 of 3 variables.