public function fixConstraint($constraint) { if (Constraint::isDisjunctive($constraint)) { $constraint = Constraint::findMax(explode('|', $constraint)); } $pos = strpos($constraint, '@'); if ($pos !== false) { $constraint = substr($constraint, 0, $pos); } return $constraint; }