Searched refs:OccupiedAndKnown (Results 1 – 1 of 1) sorted by relevance
35 void completeLifetime(isl::union_set Universe, isl::union_map OccupiedAndKnown, in completeLifetime() argument45 if (OccupiedAndKnown) { in completeLifetime()51 Occupied = OccupiedAndKnown.domain(); in completeLifetime()53 for (isl::map Map : OccupiedAndKnown.get_map_list()) { in completeLifetime()