391 isl::union_set polly::convertZoneToTimepoints(isl::union_set Zone,  in convertZoneToTimepoints()  argument
394     return Zone;  in convertZoneToTimepoints()
396   auto ShiftedZone = shiftDim(Zone, -1, -1);  in convertZoneToTimepoints()
400     return Zone.intersect(ShiftedZone);  in convertZoneToTimepoints()
403   return Zone.unite(ShiftedZone);  in convertZoneToTimepoints()
406 isl::union_map polly::convertZoneToTimepoints(isl::union_map Zone, isl::dim Dim,  in convertZoneToTimepoints()  argument
409     return Zone;  in convertZoneToTimepoints()
411   auto ShiftedZone = shiftDim(Zone, Dim, -1, -1);  in convertZoneToTimepoints()
415     return Zone.intersect(ShiftedZone);  in convertZoneToTimepoints()
418   return Zone.unite(ShiftedZone);  in convertZoneToTimepoints()
421 isl::map polly::convertZoneToTimepoints(isl::map Zone, isl::dim Dim,  in convertZoneToTimepoints()  argument
424     return Zone;  in convertZoneToTimepoints()
426   auto ShiftedZone = shiftDim(Zone, Dim, -1, -1);  in convertZoneToTimepoints()
430     return Zone.intersect(ShiftedZone);  in convertZoneToTimepoints()
433   return Zone.unite(ShiftedZone);  in convertZoneToTimepoints()