Home | History | Annotate | Download | only in dist

Lines Matching defs:ran

853  * element from ran R \times Z, such that the first n coordinates of the
865  *				x in dom R and x + d in ran R and
971  * with domain and/or range outside of dom and ran.
974 	__isl_keep isl_set *dom, __isl_keep isl_set *ran)
981 	if (d < 0 || !dom || !ran)
1000 	subset = isl_set_is_subset(s, ran);
1022  *	ran map_i \cap dom map_j = \emptyset
1029  *	ran map_j \subseteq C
1033  *	dom map_i \cap ran map_j = \emptyset
1042 	isl_set **dom, isl_set **ran, int *left, int *right,
1061 			overlaps = isl_set_overlaps(ran[i], dom[j]);
1078 			if (!ran[j])
1079 				ran[j] = isl_set_from_basic_set(
1082 			if (!ran[j])
1084 			overlaps = isl_set_overlaps(dom[i], ran[j]);
1090 				subset = isl_set_is_subset(ran[j], C);
1222 	isl_set **dom, isl_set **ran, int *left, int *right,
1252 		ran[i] = isl_set_from_basic_set(isl_basic_map_range(
1262 		spurious = has_spurious_elements(qc, dom[i], ran[i]);
1312 	isl_set **ran = NULL;
1334 	ran = isl_calloc_array(map->ctx, isl_set *, map->n);
1337 	if (!ran || !dom || !left || !right)
1340 	if (incremental_on_entire_domain(space, map, dom, ran, left, right,
1354 		if (!ran[i])
1355 			ran[i] = isl_set_from_basic_set(
1358 		if (!ran[i])
1361 				      isl_set_copy(ran[i]));
1369 		comp = composability(C, i, dom, ran, left, right, map);
1383 		spurious = has_spurious_elements(qc, dom[i], ran[i]);
1414 		isl_set_free(ran[i]);
1417 	free(ran);
1432 	if (ran)
1434 			isl_set_free(ran[i]);
1435 	free(ran);
1850  * element from ran R \times Z, such that the first n coordinates of the
1864  *				x in dom R and x + d in ran R }
1870  *				x in dom R and x + d in ran R }
2165 	__isl_take isl_set *dom, __isl_take isl_set *ran, int with_id)
2264 	app = isl_map_from_domain_and_range(dom, ran);
2282 	isl_set_free(ran);