237 isl::map polly::shiftDim(isl::map Map, isl::dim Dim, int Pos, int Amount) {  in shiftDim()  argument
238   unsigned NumDims = unsignedFromIslSize(Map.dim(Dim));  in shiftDim()
243   switch (Dim) {  in shiftDim()
256   switch (Dim) {  in shiftDim()
266 isl::union_map polly::shiftDim(isl::union_map UMap, isl::dim Dim, int Pos,  in shiftDim()  argument
271     isl::map Shifted = shiftDim(Map, Dim, Pos, Amount);  in shiftDim()
413 isl::union_map polly::convertZoneToTimepoints(isl::union_map Zone, isl::dim Dim,  in convertZoneToTimepoints()  argument
418   auto ShiftedZone = shiftDim(Zone, Dim, -1, -1);  in convertZoneToTimepoints()
428 isl::map polly::convertZoneToTimepoints(isl::map Zone, isl::dim Dim,  in convertZoneToTimepoints()  argument
433   auto ShiftedZone = shiftDim(Zone, Dim, -1, -1);  in convertZoneToTimepoints()
792 static void recursiveExpand(isl::basic_set BSet, unsigned Dim,  in recursiveExpand()  argument
795   if (Dim >= Dims) {  in recursiveExpand()
803           .project_out(isl::dim::set, Dim + 1, Dims - Dim - 1)  in recursiveExpand()
804           .project_out(isl::dim::set, 0, Dim);  in recursiveExpand()
806     recursiveExpand(BSet, Dim + 1, Expanded);  in recursiveExpand()
810   foreachPoint(DimOnly, [&, Dim](isl::point P) {  in recursiveExpand()
812     isl::basic_set FixBSet = BSet.fix_val(isl::dim::set, Dim, Val);  in recursiveExpand()
813     recursiveExpand(FixBSet, Dim + 1, Expanded);  in recursiveExpand()