Lines Matching defs:domain
41 * dim represents the space in which the domain lives
54 * nvar is the dimension of the domain
502 __isl_keep isl_union_set *domain)
506 if (isl_union_set_foreach_set(domain, &init_n_maxvar, graph) < 0)
2922 __isl_take isl_union_set *domain,
2926 isl_ctx *ctx = isl_union_set_get_ctx(domain);
2932 domain = isl_union_set_align_params(domain,
2934 domain = isl_union_set_align_params(domain,
2936 dim = isl_union_set_get_space(domain);
2940 if (!domain)
2943 graph.n = isl_union_set_n_set(domain);
2949 if (compute_max_row(&graph, domain) < 0)
2953 if (isl_union_set_foreach_set(domain, &extract_node, &graph) < 0)
2974 sched = extract_schedule(&graph, isl_union_set_get_space(domain));
2977 isl_union_set_free(domain);
2984 isl_union_set_free(domain);
3286 /* Check if "upma" assigns a single constant value to its domain.
3332 isl_union_set *domain;
3347 domain = isl_union_pw_multi_aff_domain(upma);
3349 upma = isl_union_pw_multi_aff_intersect_domain(upma, domain);
3361 domain = isl_union_pw_multi_aff_domain(upma);
3363 upma = isl_union_pw_multi_aff_intersect_domain(upma, domain);