Eris\Generator\TupleGenerator::checkValueToShrink PHP Method

    private function checkValueToShrink($value)
    {
        if (!$this->contains($value)) {
            throw new DomainException('Cannot shrink ' . var_export($value, true) . ' because it does not ' . ' belong to the domain of the Tuples with domain elements ' . $this->domainsTupleAsString());
        }
    }