Searched refs:ScheduleSpace (Results 1 – 1 of 1) sorted by relevance
658 isl::space ScheduleSpace; in isValidSchedule() local671 if (ScheduleSpace.is_null()) in isValidSchedule()672 ScheduleSpace = StmtScat.get_space().range(); in isValidSchedule()680 isl::set Zero = isl::set::universe(ScheduleSpace); in isValidSchedule()685 isl::set Deltas = singleton(UDeltas, ScheduleSpace); in isValidSchedule()