/**
* forAll($generator1, $generator2, ...)
* @return Quantifier\ForAll
*/
protected function forAll()
{
call_user_func($this->seedFunction, $this->seed);
$generators = func_get_args();
$quantifier = new Quantifier\ForAll($generators, $this->iterations, new Shrinker\ShrinkerFactory(['timeLimit' => $this->shrinkingTimeLimit]), $this->randFunction);
foreach ($this->listeners as $listener) {
$quantifier->hook($listener);
}
foreach ($this->terminationConditions as $terminationCondition) {
$quantifier->stopOn($terminationCondition);
}
$this->quantifiers[] = $quantifier;
return $quantifier;
}