Lines Matching refs:IntegerPolyhedron

91                                      ArrayRef<IntegerPolyhedron> polys) {  in makeSetFromPoly()
94   for (const IntegerPolyhedron &poly : polys)  in makeSetFromPoly()
434 void expectEqual(const IntegerPolyhedron &s, const IntegerPolyhedron &t) {  in expectEqual()
468 void convertSuffixDimsToLocals(IntegerPolyhedron &poly, unsigned numLocals) {  in convertSuffixDimsToLocals()
473 inline IntegerPolyhedron parsePolyAndMakeLocals(StringRef str,  in parsePolyAndMakeLocals()
475   IntegerPolyhedron poly = parsePoly(str);  in parsePolyAndMakeLocals()
518   IntegerPolyhedron tetrahedron =  in TEST()
527   IntegerPolyhedron triangle = parsePoly("(x,y) : (y >= 0, "  in TEST()
535   IntegerPolyhedron line = parsePoly("(x) : (x - 1000 == 0)");  in TEST()
555   IntegerPolyhedron setA(PresburgerSpace::getSetSpace(1));  in TEST()
838 void testComputeReprAtPoints(IntegerPolyhedron poly,  in testComputeReprAtPoints()
852 void testComputeRepr(IntegerPolyhedron poly, const PresburgerSet &expected,  in testComputeRepr()