java.lang.Object
- io.vavr.test.Property.ForAll7<T1,T2,T3,T4,T5,T6,T7>

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

T4 - 4th variable type of this for all quantor

T5 - 5th variable type of this for all quantor

T6 - 6th variable type of this for all quantor

T7 - 7th variable type of this for all quantor

Enclosing class:

Property
```
public static class Property.ForAll7<T1,T2,T3,T4,T5,T6,T7>
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 Arbitrary<T4>`	`a4`
`private Arbitrary<T5>`	`a5`
`private Arbitrary<T6>`	`a6`
`private Arbitrary<T7>`	`a7`
`private java.lang.String`	`name`

Constructor Summary

Constructors
Constructor	Description
`ForAll7(java.lang.String name, Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3, Arbitrary<T4> a4, Arbitrary<T5> a5, Arbitrary<T6> a6, Arbitrary<T7> a7)`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`Property.Property7<T1,T2,T3,T4,T5,T6,T7>`	`suchThat(CheckedFunction7<T1,T2,T3,T4,T5,T6,T7,java.lang.Boolean> predicate)`	Returns a checkable property that checks values of the 7 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
```

a4
```
private final Arbitrary<T4> a4
```

a5
```
private final Arbitrary<T5> a5
```

a6
```
private final Arbitrary<T6> a6
```

a7
```
private final Arbitrary<T7> a7
```

Constructor Detail

ForAll7

ForAll7(java.lang.String name,
        Arbitrary<T1> a1,
        Arbitrary<T2> a2,
        Arbitrary<T3> a3,
        Arbitrary<T4> a4,
        Arbitrary<T5> a5,
        Arbitrary<T6> a6,
        Arbitrary<T7> a7)

Method Detail
- suchThat
```
public Property.Property7<T1,T2,T3,T4,T5,T6,T7> suchThat(CheckedFunction7<T1,T2,T3,T4,T5,T6,T7,java.lang.Boolean> predicate)
```
  Returns a checkable property that checks values of the 7 variables of this ForAll quantor.
  
  Parameters:
  
  predicate - A 7-ary predicate
  
  Returns:
  
  a new Property7 of 7 variables.

Class Property.ForAll7<T1,​T2,​T3,​T4,​T5,​T6,​T7>

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

name

a1

a2

a3

a4

a5

a6

a7

Constructor Detail

ForAll7

Method Detail

suchThat

Class Property.ForAll7<T1,T2,T3,T4,T5,T6,T7>