public function shrink(GeneratedValue $element)
{
if (!$this->contains($element)) {
throw new DomainException($element . ' does not belong to the domain of the constant value ' . $this->value . '.');
}
return GeneratedValue::fromJustValue($this->value, 'constant');
}