/** * 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; }