398 isl::union_set polly::convertZoneToTimepoints(isl::union_set Zone,  in convertZoneToTimepoints()  argument
401     return Zone;  in convertZoneToTimepoints()
403   auto ShiftedZone = shiftDim(Zone, -1, -1);  in convertZoneToTimepoints()
407     return Zone.intersect(ShiftedZone);  in convertZoneToTimepoints()
410   return Zone.unite(ShiftedZone);  in convertZoneToTimepoints()
413 isl::union_map polly::convertZoneToTimepoints(isl::union_map Zone, isl::dim Dim,  in convertZoneToTimepoints()  argument
416     return Zone;  in convertZoneToTimepoints()
418   auto ShiftedZone = shiftDim(Zone, Dim, -1, -1);  in convertZoneToTimepoints()
422     return Zone.intersect(ShiftedZone);  in convertZoneToTimepoints()
425   return Zone.unite(ShiftedZone);  in convertZoneToTimepoints()
428 isl::map polly::convertZoneToTimepoints(isl::map Zone, isl::dim Dim,  in convertZoneToTimepoints()  argument
431     return Zone;  in convertZoneToTimepoints()
433   auto ShiftedZone = shiftDim(Zone, Dim, -1, -1);  in convertZoneToTimepoints()
437     return Zone.intersect(ShiftedZone);  in convertZoneToTimepoints()
440   return Zone.unite(ShiftedZone);  in convertZoneToTimepoints()