94   for (const IntegerPolyhedron &poly : polys)  in makeSetFromPoly()  local
95     set.unionInPlace(poly);  in makeSetFromPoly()
468 void convertSuffixDimsToLocals(IntegerPolyhedron &poly, unsigned numLocals) {  in convertSuffixDimsToLocals()  argument
469   poly.convertVarKind(VarKind::SetDim, poly.getNumDimVars() - numLocals,  in convertSuffixDimsToLocals()
470                       poly.getNumDimVars(), VarKind::Local);  in convertSuffixDimsToLocals()
475   IntegerPolyhedron poly = parsePoly(str);  in parsePolyAndMakeLocals()  local
476   convertSuffixDimsToLocals(poly, numLocals);  in parsePolyAndMakeLocals()
477   return poly;  in parsePolyAndMakeLocals()
838 void testComputeReprAtPoints(IntegerPolyhedron poly,  in testComputeReprAtPoints()  argument
841   poly.convertVarKind(VarKind::SetDim, poly.getNumDimVars() - numToProject,  in testComputeReprAtPoints()
842                       poly.getNumDimVars(), VarKind::Local);  in testComputeReprAtPoints()
843   PresburgerRelation repr = poly.computeReprWithOnlyDivLocals();  in testComputeReprAtPoints()
845   EXPECT_TRUE(repr.getSpace().isCompatible(poly.getSpace()));  in testComputeReprAtPoints()
847     EXPECT_EQ(poly.containsPointNoLocal(point).has_value(),  in testComputeReprAtPoints()
852 void testComputeRepr(IntegerPolyhedron poly, const PresburgerSet &expected,  in testComputeRepr()  argument
854   poly.convertVarKind(VarKind::SetDim, poly.getNumDimVars() - numToProject,  in testComputeRepr()
855                       poly.getNumDimVars(), VarKind::Local);  in testComputeRepr()
856   PresburgerRelation repr = poly.computeReprWithOnlyDivLocals();  in testComputeRepr()
858   EXPECT_TRUE(repr.getSpace().isCompatible(poly.getSpace()));  in testComputeRepr()