237     isl::union_map Extensions;  in visitSchedule()  local
239         visit(Schedule.get_root(), Schedule.get_domain(), Extensions);  in visitSchedule()
240     assert(!Extensions.is_null() && Extensions.is_empty());  in visitSchedule()
246                               isl::union_map &Extensions) {  in visitSequence()
248     isl::schedule NewNode = visit(Sequence.first_child(), Domain, Extensions);  in visitSequence()
254       Extensions = Extensions.unite(NewChildExtensions);  in visitSequence()
261                          isl::union_map &Extensions) {  in visitSet()
263     isl::schedule NewNode = visit(Set.first_child(), Domain, Extensions);  in visitSet()
270       Extensions = Extensions.unite(NewChildExtensions);  in visitSet()
277                           isl::union_map &Extensions) {  in visitLeaf()
278     Extensions = isl::union_map::empty(Leaf.ctx());  in visitLeaf()
332                             isl::union_map &Extensions) {  in visitFilter()
338     return visit(Filter.first_child(), NewDomain, Extensions);  in visitFilter()
343                                isl::union_map &Extensions) {  in visitExtension()
350     Extensions = ChildExtensions.unite(ExtDomain);  in visitExtension()