Lines Matching defs:maybeLexMin

144   MaybeOptimum<SmallVector<Fraction, 8>> maybeLexMin =
147   if (!maybeLexMin.isBounded())
148     return maybeLexMin;
155   assert(maybeLexMin->size() == getNumVars() &&
157   maybeLexMin->resize(getNumDimAndSymbolVars());
158   return maybeLexMin;
164   MaybeOptimum<SmallVector<DynamicAPInt, 8>> maybeLexMin =
167   if (!maybeLexMin.isBounded())
168     return maybeLexMin.getKind();
175   assert(maybeLexMin->size() == getNumVars() &&
177   maybeLexMin->resize(getNumDimAndSymbolVars());
178   return maybeLexMin;