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

References

  749 		convex_hull = isl_basic_set_empty(isl_space_copy(set->dim));
  751 		convex_hull = isl_basic_set_universe(isl_space_copy(set->dim));
 1626 	total = isl_space_dim(set->dim, isl_dim_all);
 1724 	hull = isl_basic_set_alloc_space(isl_space_copy(set->dim), 0, 0, n_ineq);
 1812 		convex_hull = isl_basic_set_universe(isl_space_copy(set->dim));
 2290 	hull = isl_basic_set_alloc_space(isl_space_copy(set->dim), 0, 0, n_ineq);

  110 		unsigned total = isl_space_dim(map->dim, isl_dim_all);

   94 	return map ? map->dim : NULL;
   99 	return map ? n(map->dim, type) : 0;
  104 	return set ? n(set->dim, type) : 0;
  135 	return pos(map->dim, type);
  198 	return map ? map->dim->n_in : 0;
  203 	return map ? map->dim->n_out : 0;
  208 	return map ? map->dim->nparam : 0;
  288 	return isl_space_tuple_is_equal(map->dim, isl_dim_in,
  289 					set->dim, isl_dim_set);
  314 	return isl_space_tuple_is_equal(map->dim, isl_dim_out,
  315 					set->dim, isl_dim_set);
  504 	return isl_space_copy(set->dim);
  544 	map->dim = isl_space_set_tuple_name(map->dim, type, s);
  544 	map->dim = isl_space_set_tuple_name(map->dim, type, s);
  545 	if (!map->dim)
  591 	return map ? isl_space_has_tuple_name(map->dim, type) : isl_bool_error;
  597 	return map ? isl_space_get_tuple_name(map->dim, type) : NULL;
  614 	map->dim = isl_space_set_tuple_id(map->dim, type, id);
  614 	map->dim = isl_space_set_tuple_id(map->dim, type, id);
  616 	return isl_map_reset_space(map, isl_space_copy(map->dim));
  635 	map->dim = isl_space_reset_tuple_id(map->dim, type);
  635 	map->dim = isl_space_reset_tuple_id(map->dim, type);
  637 	return isl_map_reset_space(map, isl_space_copy(map->dim));
  647 	return map ? isl_space_has_tuple_id(map->dim, type) : isl_bool_error;
  653 	return map ? isl_space_get_tuple_id(map->dim, type) : NULL;
  672 	return isl_space_has_tuple_name(set->dim, isl_dim_set);
  683 	return set ? isl_space_get_tuple_name(set->dim, isl_dim_set) : NULL;
  705 	return isl_space_has_dim_name(map->dim, type, pos);
  711 	return map ? isl_space_get_dim_name(map->dim, type, pos) : NULL;
  717 	return set ? isl_space_get_dim_name(set->dim, type, pos) : NULL;
  727 	return isl_space_has_dim_name(set->dim, type, pos);
  755 	map->dim = isl_space_set_dim_name(map->dim, type, pos, s);
  755 	map->dim = isl_space_set_dim_name(map->dim, type, pos, s);
  756 	if (!map->dim)
  803 	return map ? isl_space_has_dim_id(map->dim, type, pos) : isl_bool_error;
  809 	return map ? isl_space_get_dim_id(map->dim, type, pos) : NULL;
  831 	map->dim = isl_space_set_dim_id(map->dim, type, pos, id);
  831 	map->dim = isl_space_set_dim_id(map->dim, type, pos, id);
  833 	return isl_map_reset_space(map, isl_space_copy(map->dim));
  850 	return isl_space_find_dim_by_id(map->dim, type, id);
  876 	return isl_space_find_dim_by_name(map->dim, type, name);
 1093 	return isl_space_is_params(set->dim);
 1104 	return isl_space_is_params(map->dim);
 2314 	if (n == 0 && !isl_space_is_named_or_nested(map->dim, type))
 2319 	map->dim = isl_space_drop_dims(map->dim, type, first, n);
 2319 	map->dim = isl_space_drop_dims(map->dim, type, first, n);
 2320 	if (!map->dim)
 3444 			set->ref, set->n, set->dim->nparam, set->dim->n_out,
 3444 			set->ref, set->n, set->dim->nparam, set->dim->n_out,
 3465 			map->ref, map->n, map->dim->nparam, map->dim->n_in,
 3465 			map->ref, map->n, map->dim->nparam, map->dim->n_in,
 3466 			map->dim->n_out, map->flags, map->dim->n_id);
 3466 			map->dim->n_out, map->flags, map->dim->n_id);
 3734 	    isl_space_is_equal(map1->dim, map2->dim)) {
 3734 	    isl_space_is_equal(map1->dim, map2->dim)) {
 3740 	    isl_space_is_equal(map1->dim, map2->dim)) {
 3740 	    isl_space_is_equal(map1->dim, map2->dim)) {
 3747 	    isl_space_is_equal(map1->dim, map2->dim) &&
 3747 	    isl_space_is_equal(map1->dim, map2->dim) &&
 3760 	if (isl_space_dim(map2->dim, isl_dim_all) !=
 3761 				isl_space_dim(map2->dim, isl_dim_param))
 3763 			    isl_space_is_equal(map1->dim, map2->dim), goto error);
 3763 			    isl_space_is_equal(map1->dim, map2->dim), goto error);
 3769 	result = isl_map_alloc_space(isl_space_copy(map1->dim),
 3799 	if (!isl_space_is_equal(map1->dim, map2->dim))
 3799 	if (!isl_space_is_equal(map1->dim, map2->dim))
 3961 	if (!map || !isl_space_is_named_or_nested(map->dim, type))
 3982 	map->dim = isl_space_insert_dims(map->dim, type, pos, n);
 3982 	map->dim = isl_space_insert_dims(map->dim, type, pos, n);
 3983 	if (!map->dim)
 4166 	map->dim = isl_space_move_dims(map->dim, dst_type, dst_pos, src_type, src_pos, n);
 4166 	map->dim = isl_space_move_dims(map->dim, dst_type, dst_pos, src_type, src_pos, n);
 4167 	if (!map->dim)
 4393 	map->dim = isl_space_drop_dims(map->dim, type, first, n);
 4393 	map->dim = isl_space_drop_dims(map->dim, type, first, n);
 4394 	if (!map->dim)
 4641 	isl_assert(map1->ctx, isl_space_is_equal(map1->dim, map2->dim), goto error);
 4641 	isl_assert(map1->ctx, isl_space_is_equal(map1->dim, map2->dim), goto error);
 4643 	result = isl_map_alloc_space(isl_space_copy(map1->dim),
 5475 	map->dim = isl_space_cow(map->dim);
 5475 	map->dim = isl_space_cow(map->dim);
 5476 	if (!map->dim)
 5489 		map->dim = isl_space_underlying(map->dim, 0);
 5489 		map->dim = isl_space_underlying(map->dim, 0);
 5491 		isl_space_free(map->dim);
 5492 		map->dim = isl_space_copy(map->p[0]->dim);
 5494 	if (!map->dim)
 5578 	isl_space_free(map->dim);
 5579 	map->dim = dim;
 5811 	return isl_space_may_be_set(map->dim);
 5822 	return isl_space_is_set(map->dim);
 5842 	set->dim = isl_space_range(set->dim);
 5842 	set->dim = isl_space_range(set->dim);
 5843 	if (!set->dim)
 5866 	map->dim = isl_space_domain_map(map->dim);
 5866 	map->dim = isl_space_domain_map(map->dim);
 5867 	if (!map->dim)
 5893 	map->dim = isl_space_from_domain(isl_space_wrap(map->dim));
 5893 	map->dim = isl_space_from_domain(isl_space_wrap(map->dim));
 5894 	map->dim = isl_space_join(map->dim, range_dim);
 5894 	map->dim = isl_space_join(map->dim, range_dim);
 5895 	if (!map->dim)
 6005 	map->dim = space;
 6117 	dup = isl_map_alloc_space(isl_space_copy(map->dim), map->n, map->flags);
 6132 	isl_assert(map->ctx, isl_space_is_equal(map->dim, bmap->dim), goto error);
 6160 	isl_space_free(map->dim);
 6731 	map->dim = isl_space_reverse(map->dim);
 6731 	map->dim = isl_space_reverse(map->dim);
 6732 	if (!map->dim)
 7421 	isl_space_free(map->dim);
 7422 	map->dim = isl_local_space_get_space(ls);
 7423 	if (!map->dim)
 7686 	set->dim = isl_space_domain(set->dim);
 7686 	set->dim = isl_space_domain(set->dim);
 7687 	if (!set->dim)
 7723 	if (!isl_space_is_equal(map1->dim, map2->dim))
 7723 	if (!isl_space_is_equal(map1->dim, map2->dim))
 7756 	map = isl_map_alloc_space(isl_space_copy(map1->dim),
 7879 	result = isl_map_alloc_space(isl_space_copy(map->dim),
 8033 	dim_result = isl_space_join(isl_space_copy(map1->dim),
 8034 				  isl_space_copy(map2->dim));
 8118 	isl_assert(map->ctx, isl_space_tuple_is_equal(map->dim, isl_dim_in,
 8119 						 map->dim, isl_dim_out),
 8193 	if (!isl_space_tuple_is_equal(map->dim, isl_dim_in,
 8194 					map->dim, isl_dim_out))
 8203 	map->dim = isl_space_from_domain(isl_space_wrap(map->dim));
 8203 	map->dim = isl_space_from_domain(isl_space_wrap(map->dim));
 8204 	map->dim = isl_space_join(map->dim, domain_dim);
 8204 	map->dim = isl_space_join(map->dim, domain_dim);
 8205 	if (!map->dim)
 8364 	offset = pos(set->dim, type);
 8535 	return isl_space_is_equal(map1->dim, map2->dim);
 8535 	return isl_space_is_equal(map1->dim, map2->dim);
 8544 	return isl_space_is_equal(set1->dim, set2->dim);
 8544 	return isl_space_is_equal(set1->dim, set2->dim);
 9797 	if (!isl_space_is_equal(map1->dim, map2->dim))
 9797 	if (!isl_space_is_equal(map1->dim, map2->dim))
10159 	result = isl_map_alloc_space(space_product(isl_space_copy(map1->dim),
10160 					       isl_space_copy(map2->dim)),
10268 	if (!isl_space_domain_is_wrapping(map->dim) ||
10269 	    !isl_space_range_is_wrapping(map->dim))
10295 	if (!isl_space_domain_is_wrapping(map->dim) ||
10296 	    !isl_space_range_is_wrapping(map->dim))
10322 	if (!isl_space_domain_is_wrapping(map->dim))
10345 	if (!isl_space_domain_is_wrapping(map->dim))
10368 	if (!isl_space_range_is_wrapping(map->dim))
10391 	if (!isl_space_range_is_wrapping(map->dim))
10613 	isl_space_free(set->dim);
10614 	set->dim = dim;
11365 	return isl_space_is_wrapping(set->dim);
11404 	return isl_space_domain_is_wrapping(map->dim);
11421 	return isl_space_range_is_wrapping(map->dim);
11509 	if (!isl_space_is_named_or_nested(map->dim, type))
11521 	map->dim = isl_space_reset(map->dim, type);
11521 	map->dim = isl_space_reset(map->dim, type);
11522 	if (!map->dim)
11617 	if (!map->dim->nested[0] && !map->dim->nested[1])
11617 	if (!map->dim->nested[0] && !map->dim->nested[1])
11648 	if (!map->dim->nested[0])
11661 	if (!map->dim->nested[1])
11766 		exp = isl_parameter_alignment_reordering(map->dim, model);
12108 	return isl_space_can_zip(map->dim);
12168 	map->dim = isl_space_zip(map->dim);
12168 	map->dim = isl_space_zip(map->dim);
12169 	if (!map->dim)
12197 	return isl_space_can_curry(map->dim);
12243 	return isl_space_can_range_curry(map->dim);
12275 	return isl_space_can_uncurry(map->dim);
13096 	m = isl_space_tuple_is_equal(map->dim, type, ma_space, isl_dim_out);
13138 	isl_space_free(map->dim);
13139 	map->dim = space;
13140 	if (!map->dim)

  184 	if (!isl_space_has_named_params(map->dim) ||
  185 	    !isl_space_has_named_params(dom->dim))

 3125 	isl_assert(map->ctx, isl_space_is_equal(map->dim, context->dim), goto error);
 3698 	match = isl_space_tuple_is_equal(map1->dim, isl_dim_in,
 3699 				map2->dim, isl_dim_in);
 3703 	match = isl_space_tuple_is_equal(map1->dim, isl_dim_out,
 3704 				map2->dim, isl_dim_out);

  533 	isl_assert(map1->ctx, isl_space_is_equal(map1->dim, map2->dim), goto error);
  533 	isl_assert(map1->ctx, isl_space_is_equal(map1->dim, map2->dim), goto error);

 1425 		set->dim = isl_space_cow(set->dim);
 1425 		set->dim = isl_space_cow(set->dim);
 1426 		if (!set->dim)
 1428 		set->dim->n_out += mat->n_col;
 1429 		set->dim->n_out -= mat->n_row;

  713 	isl_assert(set->ctx, isl_space_is_equal(set->dim, morph->dom->dim), goto error);
  719 	isl_space_free(set->dim);
  720 	set->dim = isl_space_copy(morph->ran->dim);
  721 	if (!set->dim)

   73 	    !isl_space_has_named_params(set->dim))

 1176 	if (isl_map_plain_is_universe(map) && isl_space_is_params(map->dim))
 1420 		p = print_split_map(p, split, map->n, map->dim);
 1424 		p = isl_print_space(map->dim, p, rational, &data);
 1425 		p = print_disjuncts_map(map, map->dim, p, 0);
 1436 	p = print_param_tuple(p, map->dim, &data);
 1449 	p = print_param_tuple(p, map->dim, &data);
 1453 	p = isl_print_space(map->dim, p, 0, &data);
 1454 	p = print_disjuncts_map(map, map->dim, p, 1);

 4067 	d = isl_space_dim(set->dim, isl_dim_all);
 4081 	nparam = isl_space_dim(set->dim, isl_dim_param);
 4082 	nvar = isl_space_dim(set->dim, isl_dim_set);

  389 	if (!isl_space_has_named_params(set->dim))

  834 	if (!isl_space_tuple_is_equal(set1->dim, isl_dim_set,
  835 					set2->dim, isl_dim_set))

  374 	return isl_space_is_equal(map->dim, space);
  405 	hash = isl_space_get_hash(map->dim);
  407 				    &has_space, map->dim, 1);
 1030 	hash = isl_space_get_hash(map->dim);
 1032 				     hash, &has_space, map->dim, 0);
 1363 	if (!isl_space_tuple_is_equal(data->map->dim, isl_dim_out,
 1364 				 map2->dim, isl_dim_in))
 1451 	if (!isl_space_tuple_is_equal(data->map->dim, isl_dim_out,
 1452 				 map2->dim, isl_dim_out))
 1473 	if (!isl_space_tuple_is_equal(data->map->dim, isl_dim_out,
 1474 				 map2->dim, isl_dim_out))
 1531 	if (!isl_space_tuple_is_equal(data->map->dim, isl_dim_out,
 1532 				 map2->dim, isl_dim_out))
 1556 	if (!isl_space_tuple_is_equal(data->map->dim, isl_dim_in,
 1557 				 map2->dim, isl_dim_in))
 1582 	if (!isl_space_tuple_is_equal(data->map->dim, isl_dim_out,
 1583 				 map2->dim, isl_dim_out))
 1607 	if (!isl_space_tuple_is_equal(data->map->dim, isl_dim_in,
 1608 				 map2->dim, isl_dim_in))
 2108 	return isl_space_tuple_is_equal(map->dim, isl_dim_in,
 2109 					map->dim, isl_dim_out);
 2292 	hash = isl_space_get_hash(map->dim);
 2294 				     hash, &has_space, map->dim, 0);
 2409 	hash = isl_space_get_hash(map->dim);
 2411 				     hash, &has_space, map->dim, 0);
 2613 	if (!isl_space_tuple_is_equal(map->dim, isl_dim_in,
 2614 					map->dim, isl_dim_out))
 3214 	return isl_space_tuple_is_equal(map->dim, isl_dim_in,
 3222 	return isl_space_tuple_is_equal(map->dim, isl_dim_out,
 3230 	return isl_space_tuple_is_equal(map->dim, isl_dim_set,

  679 	return isl_space_is_equal(set->dim, dim);