Eris\Quantifier\ForAll::__construct PHP Method

__construct() public method

public __construct ( array $generators, $iterations, $shrinkerFactory, $rand )
$generators array
    public function __construct(array $generators, $iterations, $shrinkerFactory, $rand)
    {
        $this->generators = $this->generatorsFrom($generators);
        $this->iterations = $iterations;
        $this->shrinkerFactory = $shrinkerFactory;
        $this->rand = $rand;
        $this->maxSize = self::DEFAULT_MAX_SIZE;
    }