reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

 2047 	total = 1 + isl_space_dim(eq->dim, isl_dim_all);

  899 	bmap = isl_basic_map_extend_space(bmap, isl_space_copy(bmap->dim), 0,
 1004 	bmap = isl_basic_map_extend_space(bmap, isl_space_copy(bmap->dim),
 1084 	total = isl_space_dim(bmap->dim, isl_dim_all);

  504 	fused = isl_basic_map_alloc_space(isl_space_copy(info[i].bmap->dim),

   48 	return type == isl_dim_div ? 1 + isl_space_dim(bmap->dim, isl_dim_all)
   49 				   : 1 + isl_space_offset(bmap->dim, type);
   55 	isl_space *dim = bset->dim;
  339 	equal_space = isl_space_is_equal(bmap->dim, dim);

  587 			isl_space_copy(hull->dim), 0, 0, facet->n_ineq);

   95 	src_pos = 1 + isl_space_dim(bmap->dim, isl_dim_all);

   99 	ovar = 1 + isl_space_offset(bset->dim, isl_dim_set);
  279 		0, 1 + isl_space_offset(bset->dim, isl_dim_set), nvar);
  281 		0, 1 + isl_space_offset(bset->dim, isl_dim_set), nvar);

 1277 	isl_assert(ctx, isl_space_is_equal(fold->dim, morph->dom->dim), goto error);
 1284 	fold->dim = isl_space_copy(morph->ran->dim);

  386 	if (!isl_space_is_equal(bset->dim, obj->ls->dim))

  979 	total = isl_space_dim(eq->dim, isl_dim_all);

  268 	if (!isl_space_is_equal(bset->dim, obj->ls->dim))

   83 	case isl_dim_out:	return isl_space_dim(bmap->dim, type);
  115 	space = bmap->dim;
  158 	return isl_space_dim(bset->dim, isl_dim_all) + bset->n_div;
  173 	return bmap ? bmap->dim->n_in : 0;
  178 	return bmap ? bmap->dim->n_out : 0;
  183 	return bmap ? bmap->dim->nparam : 0;
  193 	return bmap ? isl_space_dim(bmap->dim, isl_dim_all) + bmap->n_div : 0;
  301 	return isl_space_tuple_is_equal(bmap->dim, isl_dim_in,
  302 					bset->dim, isl_dim_set);
  327 	return isl_space_tuple_is_equal(bmap->dim, isl_dim_out,
  328 					bset->dim, isl_dim_set);
  356 	return bmap ? bmap->dim : NULL;
  390 	total = isl_space_dim(bmap->dim, isl_dim_all);
  418 	return isl_local_space_alloc_div(isl_space_copy(bmap->dim), div);
  513 	bmap->dim = isl_space_set_tuple_name(bmap->dim, type, s);
  513 	bmap->dim = isl_space_set_tuple_name(bmap->dim, type, s);
  514 	if (!bmap->dim)
  532 	return bmap ? isl_space_get_tuple_name(bmap->dim, type) : NULL;
  569 	bmap->dim = isl_space_set_tuple_id(bmap->dim, type, id);
  569 	bmap->dim = isl_space_set_tuple_id(bmap->dim, type, id);
  570 	if (!bmap->dim)
  678 	return bset ? isl_space_get_tuple_name(bset->dim, isl_dim_set) : NULL;
  689 	return bmap ? isl_space_get_dim_name(bmap->dim, type, pos) : NULL;
  695 	return bset ? isl_space_get_dim_name(bset->dim, type, pos) : NULL;
  737 	bmap->dim = isl_space_set_dim_name(bmap->dim, type, pos, s);
  737 	bmap->dim = isl_space_set_dim_name(bmap->dim, type, pos, s);
  738 	if (!bmap->dim)
  791 	return isl_space_has_dim_id(bmap->dim, type, pos);
  797 	return bset ? isl_space_get_dim_id(bset->dim, type, pos) : NULL;
  868 	return isl_space_find_dim_by_name(bmap->dim, type, name);
 1084 	return isl_space_is_params(bset->dim);
 1112 	size_t row_size = 1 + isl_space_dim(bmap->dim, isl_dim_all) + extra;
 1199 	bmap->dim = dim;
 1251 	dup = isl_basic_map_alloc_space(isl_space_copy(bmap->dim),
 1328 	isl_space_free(bmap->dim);
 1825 	dims_ok = isl_space_is_equal(base->dim, dim) &&
 1834 	isl_assert(base->ctx, base->dim->nparam <= dim->nparam, goto error);
 1835 	isl_assert(base->ctx, base->dim->n_in <= dim->n_in, goto error);
 1836 	isl_assert(base->ctx, base->dim->n_out <= dim->n_out, goto error);
 1877 	return isl_basic_map_extend_space(base, isl_space_copy(base->dim),
 2147 	unsigned off = isl_space_dim(bmap->dim, isl_dim_all);
 2252 	if (n == 0 && !isl_space_is_named_or_nested(bmap->dim, type))
 2277 		bmap->dim = isl_space_drop_dims(bmap->dim, type, first, n);
 2277 		bmap->dim = isl_space_drop_dims(bmap->dim, type, first, n);
 2278 	if (!bmap->dim)
 2354 	pos = 1 + isl_space_dim(bmap->dim, isl_dim_all) + div;
 2448 			    isl_space_dim(bmap->dim, isl_dim_all), bmap->n_div);
 2496 	if (n == 0 && !isl_space_is_named_or_nested(bmap->dim, type))
 2697 	total = isl_space_dim(bmap->dim, isl_dim_all);
 3207 			name = isl_space_get_dim_name(bmap->dim,
 3259 		if (isl_int_is_zero(c[1+isl_space_dim(bmap->dim, isl_dim_all)+i]))
 3320 			bset->ref, bset->dim->nparam, bset->dim->n_out,
 3320 			bset->ref, bset->dim->nparam, bset->dim->n_out,
 3337 		bmap->dim->nparam, bmap->dim->n_in, bmap->dim->n_out,
 3337 		bmap->dim->nparam, bmap->dim->n_in, bmap->dim->n_out,
 3337 		bmap->dim->nparam, bmap->dim->n_in, bmap->dim->n_out,
 3338 		bmap->extra, bmap->flags, bmap->dim->n_id);
 3417 	map = isl_map_alloc_space(isl_space_copy(bmap->dim), 1, ISL_MAP_DISJOINT);
 3482 	if (isl_space_dim(bset->dim, isl_dim_set) != 0)
 3489 	bmap = isl_basic_map_extend_space(bmap, isl_space_copy(bmap->dim),
 3527 	if (isl_space_dim(bset->dim, isl_dim_set) != 0 &&
 3539 	bmap = isl_basic_map_extend_space(bmap, isl_space_copy(bmap->dim),
 3602 	if (isl_space_dim(bmap1->dim, isl_dim_all) ==
 3603 				isl_space_dim(bmap1->dim, isl_dim_param) &&
 3604 	    isl_space_dim(bmap2->dim, isl_dim_all) !=
 3605 				isl_space_dim(bmap2->dim, isl_dim_param))
 3608 	if (isl_space_dim(bmap2->dim, isl_dim_all) !=
 3609 					isl_space_dim(bmap2->dim, isl_dim_param))
 3611 			    isl_space_is_equal(bmap1->dim, bmap2->dim), goto error);
 3611 			    isl_space_is_equal(bmap1->dim, bmap2->dim), goto error);
 3634 	bmap1 = isl_basic_map_extend_space(bmap1, isl_space_copy(bmap1->dim),
 3852 	space = isl_space_reverse(isl_space_copy(bmap->dim));
 3867 	if (!isl_space_is_named_or_nested(bmap->dim, type))
 3900 			isl_dim_map_dim(dim_map, bmap->dim, t, off);
 3903 			isl_dim_map_dim_range(dim_map, bmap->dim, t,
 3905 			isl_dim_map_dim_range(dim_map, bmap->dim, t,
 4050 	if (pos(bmap->dim, dst_type) + dst_pos ==
 4051 	    pos(bmap->dim, src_type) + src_pos +
 4057 		bmap->dim = isl_space_move_dims(bmap->dim, dst_type, dst_pos,
 4057 		bmap->dim = isl_space_move_dims(bmap->dim, dst_type, dst_pos,
 4059 		if (!bmap->dim)
 4072 		unsigned size = isl_space_dim(bmap->dim, t);
 4074 			isl_dim_map_dim_range(dim_map, bmap->dim, t,
 4077 			isl_dim_map_dim_range(dim_map, bmap->dim, src_type,
 4080 			isl_dim_map_dim_range(dim_map, bmap->dim, t,
 4084 			isl_dim_map_dim_range(dim_map, bmap->dim, t,
 4087 			isl_dim_map_dim_range(dim_map, bmap->dim, t,
 4091 			isl_dim_map_dim(dim_map, bmap->dim, t, off);
 4103 	bmap->dim = isl_space_move_dims(bmap->dim, dst_type, dst_pos,
 4103 	bmap->dim = isl_space_move_dims(bmap->dim, dst_type, dst_pos,
 4105 	if (!bmap->dim)
 4198 	if (pos(bmap->dim, type) + first + n ==
 4199 				1 + isl_space_dim(bmap->dim, isl_dim_all))
 4207 		unsigned size = isl_space_dim(bmap->dim, t);
 4209 			isl_dim_map_dim_range(dim_map, bmap->dim, t,
 4212 			isl_dim_map_dim_range(dim_map, bmap->dim, t,
 4214 			isl_dim_map_dim_range(dim_map, bmap->dim, t,
 4218 			isl_dim_map_dim(dim_map, bmap->dim, t, off);
 4250 	row_size = 1 + isl_space_dim(bmap->dim, isl_dim_all) + bmap->extra;
 4354 	bmap->dim = isl_space_drop_dims(bmap->dim, type, first, n);
 4354 	bmap->dim = isl_space_drop_dims(bmap->dim, type, first, n);
 4355 	if (!bmap->dim)
 4493 	if (!isl_space_tuple_is_equal(bmap1->dim, isl_dim_out,
 4494 				    bmap2->dim, isl_dim_in))
 4498 	dim_result = isl_space_join(isl_space_copy(bmap1->dim),
 4499 				  isl_space_copy(bmap2->dim));
 4509 	isl_dim_map_dim(dim_map1, bmap1->dim, isl_dim_param, pos = 0);
 4510 	isl_dim_map_dim(dim_map2, bmap2->dim, isl_dim_param, pos = 0);
 4511 	isl_dim_map_dim(dim_map1, bmap1->dim, isl_dim_in, pos += nparam);
 4512 	isl_dim_map_dim(dim_map2, bmap2->dim, isl_dim_out, pos += n_in);
 4515 	isl_dim_map_dim(dim_map1, bmap1->dim, isl_dim_out, pos += bmap2->n_div);
 4516 	isl_dim_map_dim(dim_map2, bmap2->dim, isl_dim_in, pos);
 4556 	if (!isl_space_tuple_is_equal(bmap1->dim, isl_dim_in,
 4557 					bmap2->dim, isl_dim_in))
 4584 	isl_assert(bmap1->ctx, isl_space_is_equal(bmap1->dim, bmap2->dim),
 4584 	isl_assert(bmap1->ctx, isl_space_is_equal(bmap1->dim, bmap2->dim),
 4594 	isl_dim_map_dim(dim_map1, bmap1->dim, isl_dim_param, pos = 0);
 4595 	isl_dim_map_dim(dim_map2, bmap2->dim, isl_dim_param, pos);
 4596 	isl_dim_map_dim(dim_map1, bmap1->dim, isl_dim_in, pos += nparam);
 4597 	isl_dim_map_dim(dim_map2, bmap2->dim, isl_dim_in, pos);
 4600 	isl_dim_map_dim(dim_map1, bmap1->dim, isl_dim_out, pos += bmap2->n_div);
 4601 	isl_dim_map_dim(dim_map2, bmap2->dim, isl_dim_out, pos += n_out);
 4603 	bmap = isl_basic_map_alloc_space(isl_space_copy(bmap1->dim),
 4753 	isl_dim_map_dim(dim_map, bmap->dim, isl_dim_param, pos = 0);
 4754 	isl_dim_map_dim(dim_map, bmap->dim, isl_dim_in, pos += nparam);
 4756 	isl_dim_map_dim(dim_map, bmap->dim, isl_dim_out, pos += bmap->n_div);
 4758 	result = isl_basic_map_alloc_space(isl_space_copy(bmap->dim),
 5348 	if (bmap->dim->nparam == 0 && bmap->dim->n_in == 0 &&
 5348 	if (bmap->dim->nparam == 0 && bmap->dim->n_in == 0 &&
 5350 	    !isl_space_is_named_or_nested(bmap->dim, isl_dim_in) &&
 5351 	    !isl_space_is_named_or_nested(bmap->dim, isl_dim_out))
 5356 	bmap->dim = isl_space_underlying(bmap->dim, bmap->n_div);
 5356 	bmap->dim = isl_space_underlying(bmap->dim, bmap->n_div);
 5357 	if (!bmap->dim)
 5411 	isl_assert(ctx, bset->dim->n_out == isl_basic_map_total_dim(like),
 5421 	total = bset->dim->n_out + bset->extra;
 5423 	isl_space_free(bmap->dim);
 5424 	bmap->dim = isl_space_copy(like->dim);
 5424 	bmap->dim = isl_space_copy(like->dim);
 5425 	if (!bmap->dim)
 5492 		map->dim = isl_space_copy(map->p[0]->dim);
 5527 	isl_space_free(bmap->dim);
 5528 	bmap->dim = space;
 5724 	return isl_space_may_be_set(bmap->dim);
 5735 	return isl_space_is_set(bmap->dim);
 6132 	isl_assert(map->ctx, isl_space_is_equal(map->dim, bmap->dim), goto error);
 7083 	bset->dim = isl_space_cow(bset->dim);
 7083 	bset->dim = isl_space_cow(bset->dim);
 7084 	if (!bset->dim)
 7091 	bset->dim->nparam = 0;
 7092 	bset->dim->n_out = nparam;
 7095 		bset->dim->nparam = bset->dim->n_out;
 7095 		bset->dim->nparam = bset->dim->n_out;
 7096 		bset->dim->n_out = 0;
 7152 	bset = isl_basic_set_extend_space(bset, isl_space_copy(bset->dim), 0,
 7157 	len = 1 + isl_space_dim(bset->dim, isl_dim_all) + bset->extra;
 7388 	isl_space_free(bmap->dim);
 7389 	bmap->dim = isl_local_space_get_space(ls);
 7390 	if (!bmap->dim)
 8078 	isl_assert(bmap->ctx, isl_space_tuple_is_equal(bmap->dim, isl_dim_in,
 8079 						  bmap->dim, isl_dim_out),
 8148 	if (!isl_space_tuple_is_equal(bmap->dim, isl_dim_in,
 8149 					bmap->dim, isl_dim_out))
 8794 	isl_assert(bmap1->ctx, isl_space_is_equal(bmap1->dim, bmap2->dim), goto error);
 8794 	isl_assert(bmap1->ctx, isl_space_is_equal(bmap1->dim, bmap2->dim), goto error);
 8796 	map = isl_map_alloc_space(isl_space_copy(bmap1->dim), 2, 0);
 8825 	off = isl_space_dim(bmap->dim, isl_dim_all);
 8902 	bmap = isl_basic_map_extend_space(bmap, isl_space_copy(bmap->dim),
 8957 	unsigned total = isl_space_dim(src->dim, isl_dim_all);
 8999 	total = isl_space_dim(src->dim, isl_dim_all);
 9009 						isl_space_copy(dst->dim),
 9966 	dim_result = isl_space_product(isl_space_copy(bmap1->dim),
 9967 						   isl_space_copy(bmap2->dim));
 9978 	isl_dim_map_dim(dim_map1, bmap1->dim, isl_dim_param, pos = 0);
 9979 	isl_dim_map_dim(dim_map2, bmap2->dim, isl_dim_param, pos = 0);
 9980 	isl_dim_map_dim(dim_map1, bmap1->dim, isl_dim_in, pos += nparam);
 9981 	isl_dim_map_dim(dim_map2, bmap2->dim, isl_dim_in, pos += in1);
 9982 	isl_dim_map_dim(dim_map1, bmap1->dim, isl_dim_out, pos += in2);
 9983 	isl_dim_map_dim(dim_map2, bmap2->dim, isl_dim_out, pos += out1);
10028 	space_result = isl_space_domain_product(isl_space_copy(bmap1->dim),
10029 						isl_space_copy(bmap2->dim));
10039 	isl_dim_map_dim(dim_map1, bmap1->dim, isl_dim_param, pos = 0);
10040 	isl_dim_map_dim(dim_map2, bmap2->dim, isl_dim_param, pos = 0);
10041 	isl_dim_map_dim(dim_map1, bmap1->dim, isl_dim_in, pos += nparam);
10042 	isl_dim_map_dim(dim_map2, bmap2->dim, isl_dim_in, pos += in1);
10043 	isl_dim_map_dim(dim_map1, bmap1->dim, isl_dim_out, pos += in2);
10044 	isl_dim_map_dim(dim_map2, bmap2->dim, isl_dim_out, pos);
10080 	dim_result = isl_space_range_product(isl_space_copy(bmap1->dim),
10081 					   isl_space_copy(bmap2->dim));
10091 	isl_dim_map_dim(dim_map1, bmap1->dim, isl_dim_param, pos = 0);
10092 	isl_dim_map_dim(dim_map2, bmap2->dim, isl_dim_param, pos = 0);
10093 	isl_dim_map_dim(dim_map1, bmap1->dim, isl_dim_in, pos += nparam);
10094 	isl_dim_map_dim(dim_map2, bmap2->dim, isl_dim_in, pos);
10095 	isl_dim_map_dim(dim_map1, bmap1->dim, isl_dim_out, pos += in);
10096 	isl_dim_map_dim(dim_map2, bmap2->dim, isl_dim_out, pos += out1);
10580 	isl_space_free(bset->dim);
10581 	bset->dim = dim;
10888 	first += pos(bset->dim, type) - 1;
11313 	ovar = isl_space_offset(bset->dim, isl_dim_set);
11357 	return isl_space_is_wrapping(bset->dim);
11430 	bmap->dim = isl_space_wrap(bmap->dim);
11430 	bmap->dim = isl_space_wrap(bmap->dim);
11431 	if (!bmap->dim)
11455 	bset->dim = isl_space_unwrap(bset->dim);
11455 	bset->dim = isl_space_unwrap(bset->dim);
11456 	if (!bset->dim)
11482 	if (!isl_space_is_named_or_nested(bmap->dim, type))
11489 	bmap->dim = isl_space_reset(bmap->dim, type);
11489 	bmap->dim = isl_space_reset(bmap->dim, type);
11490 	if (!bmap->dim)
11536 	if (!bmap->dim->nested[0] && !bmap->dim->nested[1])
11536 	if (!bmap->dim->nested[0] && !bmap->dim->nested[1])
11543 	bmap->dim = isl_space_flatten(bmap->dim);
11543 	bmap->dim = isl_space_flatten(bmap->dim);
11544 	if (!bmap->dim)
11566 	if (!bmap->dim->nested[0])
11573 	bmap->dim = isl_space_flatten_domain(bmap->dim);
11573 	bmap->dim = isl_space_flatten_domain(bmap->dim);
11574 	if (!bmap->dim)
11591 	if (!bmap->dim->nested[1])
11598 	bmap->dim = isl_space_flatten_range(bmap->dim);
11598 	bmap->dim = isl_space_flatten_range(bmap->dim);
11599 	if (!bmap->dim)
11803 	equal_params = isl_space_has_equal_params(bmap->dim, model);
11810 		exp = isl_parameter_alignment_reordering(bmap->dim, model);
12100 	return isl_space_can_zip(bmap->dim);
12127 		isl_space_dim(bmap->dim->nested[0], isl_dim_in);
12128 	n1 = isl_space_dim(bmap->dim->nested[0], isl_dim_out);
12129 	n2 = isl_space_dim(bmap->dim->nested[1], isl_dim_in);
12134 	bmap->dim = isl_space_zip(bmap->dim);
12134 	bmap->dim = isl_space_zip(bmap->dim);
12135 	if (!bmap->dim)
12186 	return isl_space_can_curry(bmap->dim);
12215 	bmap->dim = isl_space_curry(bmap->dim);
12215 	bmap->dim = isl_space_curry(bmap->dim);
12216 	if (!bmap->dim)
12264 	return isl_space_can_uncurry(bmap->dim);
12294 	bmap->dim = isl_space_uncurry(bmap->dim);
12294 	bmap->dim = isl_space_uncurry(bmap->dim);
12295 	if (!bmap->dim)
12644 	if (!isl_space_is_equal(bset->dim, subs->ls->dim))
12735 	m = isl_space_has_equal_params(bmap->dim, ma_space);
12741 	m = isl_space_tuple_is_equal(bmap->dim, type, ma_space, isl_dim_out);

  296 	space_total = isl_space_dim(bmap->dim, isl_dim_all);
  348 	unsigned pos = isl_space_dim(bmap->dim, isl_dim_all) + div;
  365 	unsigned space_total = isl_space_dim(bmap->dim, isl_dim_all);
  397 	off = 1 + isl_space_dim(bmap->dim, isl_dim_all);
  438 	off = 1 + isl_space_dim(bmap->dim, isl_dim_all);
  761 	total_var = isl_space_dim(bmap->dim, isl_dim_all);
  828 	total = isl_space_dim(bmap->dim, isl_dim_all);
  915 	total = isl_space_dim(bmap->dim, isl_dim_all);
  990 		bmap = isl_basic_map_extend_space(bmap, isl_space_copy(bmap->dim),
 1041 	unsigned total = 1 + isl_space_dim(bmap->dim, isl_dim_all);
 1062 	unsigned total = 1 + isl_space_dim(bmap->dim, isl_dim_all);
 1098 	unsigned total = 1 + isl_space_dim(bmap->dim, isl_dim_all);
 1133 	unsigned total = 1 + isl_space_dim(bmap->dim, isl_dim_all);
 1295 	total = 1 + isl_space_dim(bmap->dim, isl_dim_all);
 1385 	pos = 1 + isl_space_dim(bmap->dim, isl_dim_all) + div;
 1431 	unsigned pos = 1 + isl_space_dim(bmap->dim, isl_dim_all) + div;
 1770 	total = isl_space_dim(bmap->dim, isl_dim_all);
 1796 	total = isl_space_dim(bmap->dim, isl_dim_all);
 3125 	isl_assert(map->ctx, isl_space_is_equal(map->dim, context->dim), goto error);
 3591 	isl_assert(bmap1->ctx, isl_space_is_equal(bmap1->dim, bmap2->dim),
 3591 	isl_assert(bmap1->ctx, isl_space_is_equal(bmap1->dim, bmap2->dim),
 3598 	total = isl_space_dim(bmap1->dim, isl_dim_all);
 3909 	dim = isl_space_dim(bmap->dim, isl_dim_all);
 4276 	dim = isl_space_dim(bmap->dim, isl_dim_all);
 4328 	dim = isl_space_dim(bmap->dim, isl_dim_all);
 4717 	off = isl_space_dim(bmap->dim, isl_dim_all);

   63 	dim = isl_space_dim(tab->bmap->dim, isl_dim_all);
  123 	dim = isl_space_dim(tab->bmap->dim, isl_dim_all);

 1366 	isl_assert(ctx, bset->dim->nparam == 0, goto error);
 1367 	isl_assert(ctx, 1+bset->dim->n_out == mat->n_row, goto error);
 1375 		bset->dim = isl_space_cow(bset->dim);
 1375 		bset->dim = isl_space_cow(bset->dim);
 1376 		if (!bset->dim)
 1378 		bset->dim->n_out -= mat->n_row - mat->n_col;

  190 	return isl_space_copy(morph->ran->dim);
  221 	dom_offset = 1 + isl_space_offset(morph->dom->dim, type);
  248 	ran_offset = 1 + isl_space_offset(morph->ran->dim, type);
  332 	universe = isl_basic_set_universe(isl_space_copy(bset->dim));
  352 	empty = isl_basic_set_empty(isl_space_copy(bset->dim));
  371 	eq = isl_basic_set_alloc_space(isl_space_copy(bset->dim), 0, n, 0);
  434 	otype = 1 + isl_space_offset(bset->dim, type);
  461 	space = isl_space_copy(bset->dim);
  538 	dom = isl_basic_set_universe(isl_space_copy(bset->dim));
  539 	ran = isl_basic_set_universe(isl_space_copy(bset->dim));
  623 	isl_assert(bset->ctx, isl_space_is_equal(bset->dim, morph->dom->dim),
  623 	isl_assert(bset->ctx, isl_space_is_equal(bset->dim, morph->dom->dim),
  629 	res = isl_basic_set_alloc_space(isl_space_copy(morph->ran->dim),
  713 	isl_assert(set->ctx, isl_space_is_equal(set->dim, morph->dom->dim), goto error);
  720 	set->dim = isl_space_copy(morph->ran->dim);

  993 	p = print_var_list(p, bmap->dim, isl_dim_in);
  995 	p = print_var_list(p, bmap->dim, isl_dim_out);
  997 	p = print_optional_disjunct(bmap, bmap->dim, p, 0);
 1006 	p = print_var_list(p, bset->dim, isl_dim_set);
 1008 	p = print_optional_disjunct(bset, bset->dim, p, 0);
 1063 	p = print_param_tuple(p, bmap->dim, &data);
 1065 	p = isl_print_space(bmap->dim, p, rational, &data);
 1067 	p = print_disjunct(bmap, bmap->dim, p, latex);
 1263 	total = isl_space_dim(bmap->dim, isl_dim_all);

  454 	isl_assert(bmap->ctx, isl_space_is_equal(bmap->dim, point->dim),

 2803 	total = 1 + isl_space_dim(eq->dim, isl_dim_all);
 4178 	isl_assert(ctx, isl_space_is_equal(qp->dim, morph->dom->dim), goto error);
 4207 	qp->dim = isl_space_copy(morph->ran->dim);

 1652 	isl_assert(ctx, isl_space_is_domain_internal(morph->dom->dim, pw->dim),
 1659 			isl_space_copy(morph->ran->dim), pw->dim);

 4282 	unsigned b_dim = isl_space_dim(bmap->dim, isl_dim_all);
 4283 	unsigned d_dim = isl_space_dim(dom->dim, isl_dim_all);
 4328 		bmap = isl_basic_map_extend_space(bmap, isl_space_copy(bmap->dim),

 1778 	if (!isl_space_tuple_is_equal(data->list[i]->dim, isl_dim_in,
 1779 				    data->list[j]->dim, isl_dim_out))
 1794 	if (!isl_space_tuple_is_equal(data->list[i]->dim, isl_dim_in,
 1795 				    data->list[i]->dim, isl_dim_out) ||
 1796 	    !isl_space_tuple_is_equal(data->list[j]->dim, isl_dim_in,
 1797 				    data->list[j]->dim, isl_dim_out)) {

  278 	ovar = isl_space_offset(bset->dim, isl_dim_set);