89   MaybeOptimum<SmallVector<Fraction, 8>> maybeLexMin =  in findRationalLexMin()  local
92   if (!maybeLexMin.isBounded())  in findRationalLexMin()
93     return maybeLexMin;  in findRationalLexMin()
100   assert(maybeLexMin->size() == getNumVars() &&  in findRationalLexMin()
102   maybeLexMin->resize(getNumDimAndSymbolVars());  in findRationalLexMin()
103   return maybeLexMin;  in findRationalLexMin()
109   MaybeOptimum<SmallVector<int64_t, 8>> maybeLexMin =  in findIntegerLexMin()  local
112   if (!maybeLexMin.isBounded())  in findIntegerLexMin()
113     return maybeLexMin.getKind();  in findIntegerLexMin()
120   assert(maybeLexMin->size() == getNumVars() &&  in findIntegerLexMin()
122   maybeLexMin->resize(getNumDimAndSymbolVars());  in findIntegerLexMin()
123   return maybeLexMin;  in findIntegerLexMin()