Searched refs:findIntegerLexMin (Results 1 – 5 of 5) sorted by relevance
66 maybeLexMin = poly.findIntegerLexMin(); in checkSample()1139 auto lexMin = poly.findIntegerLexMin(); in expectIntegerLexMin()1150 TEST(IntegerPolyhedronTest, findIntegerLexMin) { in TEST() argument
496 MaybeOptimum<SmallVector<int64_t, 8>> findIntegerLexMin();
285 MaybeOptimum<SmallVector<int64_t, 8>> findIntegerLexMin() const;
287 MaybeOptimum<SmallVector<int64_t, 8>> LexSimplex::findIntegerLexMin() { in findIntegerLexMin() function in LexSimplex321 return findIntegerLexMin().isEmpty(); in isSeparateInequality()537 if (empty || domainSimplex.findIntegerLexMin().isEmpty()) { in computeSymbolicIntegerLexMin()
107 IntegerRelation::findIntegerLexMin() const { in findIntegerLexMin() function in IntegerRelation110 LexSimplex(*this).findIntegerLexMin(); in findIntegerLexMin()