29  * We currently only allow schedule trees with a domain or extension as root.
50 			"root of schedule tree should be a domain or extension",  in isl_schedule_from_schedule_tree()
70  * a domain node with the given domain.
73 	__isl_take isl_union_set *domain)  in isl_schedule_from_domain()  argument
78 	ctx = isl_union_set_get_ctx(domain);  in isl_schedule_from_domain()
79 	tree = isl_schedule_tree_from_domain(domain);  in isl_schedule_from_domain()
84  * a domain node with an empty domain.
187  * of the root domain.
194 	isl_union_set *domain;  in isl_schedule_get_space()  local
201 			"root node not a domain node", return NULL);  in isl_schedule_get_space()
203 	domain = isl_schedule_tree_domain_get_domain(schedule->root);  in isl_schedule_get_space()
204 	space = isl_union_set_get_space(domain);  in isl_schedule_get_space()
205 	isl_union_set_free(domain);  in isl_schedule_get_space()
229 /* Return the domain of the root domain node of "schedule".
361  * and the domain of "expansion".  That is, the domain of "expansion"
371 	isl_union_set *domain;  in isl_schedule_expand()  local
375 	domain = isl_schedule_get_domain(expansion);  in isl_schedule_expand()
385 	node = isl_schedule_node_expand(node, contraction, domain, tree);  in isl_schedule_expand()
392 /* Intersect the domain of the schedule "schedule" with "domain".
393  * The root of "schedule" is required to be a domain node.
396 	__isl_take isl_schedule *schedule, __isl_take isl_union_set *domain)  in isl_schedule_intersect_domain()  argument
401 	if (!schedule || !domain)  in isl_schedule_intersect_domain()
407 			"root node must be a domain node", goto error);  in isl_schedule_intersect_domain()
411 	node = isl_schedule_node_domain_intersect_domain(node, domain);  in isl_schedule_intersect_domain()
418 	isl_union_set_free(domain);  in isl_schedule_intersect_domain()
422 /* Replace the domain of the schedule "schedule" with the gist
423  * of the original domain with respect to the parameter domain "context".
437 			"root node must be a domain node", goto error);  in isl_schedule_gist_domain_params()
454  * of the root domain node.  That is, we do not intersect the domain
455  * of the returned isl_union_map with the domain constraints.
468 			"root node not a domain node", return NULL);  in isl_schedule_get_map()
478 /* Insert a band node with partial schedule "partial" between the domain
498 			"root node not a domain node", goto error);  in isl_schedule_insert_partial_schedule()
520 /* Insert a context node with constraints "context" between the domain
539 /* Insert a guard node with constraints "guard" between the domain
583  * with a top-level node (underneath the domain node) of type "type",
587  * The new schedule has as domain the union of the domains of the two
588  * schedules.  The child of the domain node is a node of type "type"
601 	isl_union_set *filter1, *filter2, *domain;  in isl_schedule_pair()  local
609 			"root node not a domain node", goto error);  in isl_schedule_pair()
613 			"root node not a domain node", goto error);  in isl_schedule_pair()
632 	domain = isl_union_set_union(isl_union_set_copy(filter1),  in isl_schedule_pair()
634 	filter1 = isl_union_set_gist(filter1, isl_union_set_copy(domain));  in isl_schedule_pair()
635 	filter2 = isl_union_set_gist(filter2, isl_union_set_copy(domain));  in isl_schedule_pair()
641 	tree1 = isl_schedule_tree_insert_domain(tree1, domain);  in isl_schedule_pair()