61 static void checkSample(bool hasSample, const IntegerPolyhedron &poly,  in checkSample()
501   IntegerPolyhedron poly =  in TEST()  local
598   IntegerPolyhedron poly(PresburgerSpace::getSetSpace(2));  in TEST()  local
611   IntegerPolyhedron poly(PresburgerSpace::getSetSpace(2));  in TEST()  local
630     IntegerPolyhedron &poly,  in checkDivisionRepresentation()
652   IntegerPolyhedron poly(PresburgerSpace::getSetSpace(1));  in TEST()  local
667   IntegerPolyhedron poly(PresburgerSpace::getSetSpace(4));  in TEST()  local
685   IntegerPolyhedron poly(PresburgerSpace::getSetSpace(4));  in TEST()  local
710     IntegerPolyhedron poly = parseIntegerPolyhedron("(i) : (i mod 3 - 1 >= 0)");  in TEST()  local
730     IntegerPolyhedron poly = parseIntegerPolyhedron(  in TEST()  local
745     IntegerPolyhedron poly =  in TEST()  local
756     IntegerPolyhedron poly =  in TEST()  local
767     IntegerPolyhedron poly =  in TEST()  local
781     IntegerPolyhedron poly =  in TEST()  local
796   IntegerPolyhedron poly =  in TEST()  local
809   IntegerPolyhedron poly = parseIntegerPolyhedron(  in TEST()  local
824   IntegerPolyhedron poly(PresburgerSpace::getSetSpace(1, 0, 1));  in TEST()  local
1090 void expectRationalLexMin(const IntegerPolyhedron &poly,  in expectRationalLexMin()
1097 void expectNoRationalLexMin(OptimumKind kind, const IntegerPolyhedron &poly) {  in expectNoRationalLexMin()
1170 void expectIntegerLexMin(const IntegerPolyhedron &poly, ArrayRef<int64_t> min) {  in expectIntegerLexMin()
1176 void expectNoIntegerLexMin(OptimumKind kind, const IntegerPolyhedron &poly) {  in expectNoIntegerLexMin()
1198   IntegerPolyhedron poly = parseIntegerPolyhedron(polyStr);  in expectSymbolicIntegerLexMin()  local
1408 expectComputedVolumeIsValidOverapprox(const IntegerPolyhedron &poly,  in expectComputedVolumeIsValidOverapprox()
1466 bool containsPointNoLocal(const IntegerPolyhedron &poly,  in containsPointNoLocal()