28 static IntegerPolyhedron
32   IntegerPolyhedron set(  in makeSetFromConstraints()
59 static void checkSample(bool hasSample, const IntegerPolyhedron &poly,  in checkSample()
131   IntegerPolyhedron set =  in TEST()
150   IntegerPolyhedron set =  in TEST()
169   IntegerPolyhedron set = makeSetFromConstraints(1, {}, {});  in TEST()
183   IntegerPolyhedron set(PresburgerSpace::getSetSpace(3, 2, 1));  in TEST()
482   IntegerPolyhedron poly =  in TEST()
490   IntegerPolyhedron poly2 =  in TEST()
500   IntegerPolyhedron poly3 =  in TEST()
508   IntegerPolyhedron poly4 =  in TEST()
561   IntegerPolyhedron poly5 = parsePoly(  in TEST()
577   IntegerPolyhedron poly(PresburgerSpace::getSetSpace(2));  in TEST()
578   poly.addBound(IntegerPolyhedron::UB, 0, 1);  in TEST()
583   poly.addBound(IntegerPolyhedron::UB, {1, 2, 3}, 1);  in TEST()
590   IntegerPolyhedron poly(PresburgerSpace::getSetSpace(2));  in TEST()
591   poly.addBound(IntegerPolyhedron::LB, 0, 1);  in TEST()
596   poly.addBound(IntegerPolyhedron::LB, {1, 2, 3}, 1);  in TEST()
609     IntegerPolyhedron &poly,  in checkDivisionRepresentation()
630   IntegerPolyhedron poly(PresburgerSpace::getSetSpace(1));  in TEST()
645   IntegerPolyhedron poly(PresburgerSpace::getSetSpace(4));  in TEST()
663   IntegerPolyhedron poly(PresburgerSpace::getSetSpace(4));  in TEST()
688     IntegerPolyhedron poly = parsePoly("(i) : (i mod 3 - 1 >= 0)");  in TEST()
708     IntegerPolyhedron poly =  in TEST()
723     IntegerPolyhedron poly = parsePoly("(i, j, q) : (-4*q + i + j == 0)");  in TEST()
733     IntegerPolyhedron poly = parsePoly("(i, j, q) : (4*q - i - j == 0)");  in TEST()
743     IntegerPolyhedron poly = parsePoly("(i, j, q) : (3*q + i + j - 2 == 0)");  in TEST()
756     IntegerPolyhedron poly =  in TEST()
771   IntegerPolyhedron poly =  in TEST()
784   IntegerPolyhedron poly =  in TEST()
799   IntegerPolyhedron poly(PresburgerSpace::getSetSpace(1, 0, 1));  in TEST()
806   IntegerPolyhedron poly2(PresburgerSpace::getSetSpace(1, 0, 3));  in TEST()
815   IntegerPolyhedron poly3(PresburgerSpace::getSetSpace(1, 0, 1));  in TEST()
826     IntegerPolyhedron poly1(PresburgerSpace::getSetSpace(1, 0, 1));  in TEST()
832     IntegerPolyhedron poly2(PresburgerSpace::getSetSpace(1));  in TEST()
849     IntegerPolyhedron poly1(PresburgerSpace::getSetSpace(1));  in TEST()
855     IntegerPolyhedron poly2(PresburgerSpace::getSetSpace(1));  in TEST()
873     IntegerPolyhedron poly1(PresburgerSpace::getSetSpace(1, 0, 1));  in TEST()
880     IntegerPolyhedron poly2(PresburgerSpace::getSetSpace(1));  in TEST()
899     IntegerPolyhedron poly1(PresburgerSpace::getSetSpace(1));  in TEST()
905     IntegerPolyhedron poly2(PresburgerSpace::getSetSpace(1));  in TEST()
922     IntegerPolyhedron poly1(PresburgerSpace::getSetSpace(1));  in TEST()
929     IntegerPolyhedron poly2(PresburgerSpace::getSetSpace(1));  in TEST()
946     IntegerPolyhedron poly1(PresburgerSpace::getSetSpace(1));  in TEST()
952     IntegerPolyhedron poly2(PresburgerSpace::getSetSpace(1));  in TEST()
972     IntegerPolyhedron poly1(PresburgerSpace::getSetSpace(1));  in TEST()
978     IntegerPolyhedron poly2(PresburgerSpace::getSetSpace(1));  in TEST()
994     IntegerPolyhedron poly1(PresburgerSpace::getSetSpace(1));  in TEST()
1001     IntegerPolyhedron poly2(PresburgerSpace::getSetSpace(1));  in TEST()
1020   IntegerPolyhedron poly1(PresburgerSpace::getSetSpace(1));  in TEST()
1026   IntegerPolyhedron poly2(PresburgerSpace::getSetSpace(1));  in TEST()
1043   IntegerPolyhedron poly1(PresburgerSpace::getSetSpace(1));  in TEST()
1050   IntegerPolyhedron poly2(PresburgerSpace::getSetSpace(1));  in TEST()
1065 void expectRationalLexMin(const IntegerPolyhedron &poly,  in expectRationalLexMin()
1072 void expectNoRationalLexMin(OptimumKind kind, const IntegerPolyhedron &poly) {  in expectNoRationalLexMin()
1138 void expectIntegerLexMin(const IntegerPolyhedron &poly, ArrayRef<int64_t> min) {  in expectIntegerLexMin()
1144 void expectNoIntegerLexMin(OptimumKind kind, const IntegerPolyhedron &poly) {  in expectNoIntegerLexMin()
1165   IntegerPolyhedron poly = parsePoly(polyStr);  in expectSymbolicIntegerLexMin()
1388 expectComputedVolumeIsValidOverapprox(const IntegerPolyhedron &poly,  in expectComputedVolumeIsValidOverapprox()
1443   IntegerPolyhedron poly1 = parsePoly("(x) : ((x floordiv 2) - x == 0)");  in TEST()
1447   IntegerPolyhedron poly2 = parsePoly(  in TEST()
1452   IntegerPolyhedron poly3 = parsePoly("(x, y) : (2*x - y >= 0, y - 3*x >= 0)");  in TEST()