182 static isl_size count_same_name(__isl_keep isl_space *space,  in count_same_name()  argument
191 		s = t == type ? pos : isl_space_dim(space, t);  in count_same_name()
195 			const char *n = isl_space_get_dim_name(space, t, p);  in count_same_name()
204  * in "space" to "p".
206 static __isl_give isl_printer *print_name(__isl_keep isl_space *space,  in print_name()  argument
215 				   : isl_space_get_dim_name(space, type, pos);  in print_name()
223 		else if (isl_space_is_set(space) || type == isl_dim_in)  in print_name()
230 	primes = count_same_name(space, name == buffer ? isl_dim_div : type,  in print_name()
240 static isl_stat pos2type(__isl_keep isl_space *space,  in pos2type()  argument
243 	isl_size n_in = isl_space_dim(space, isl_dim_in);  in pos2type()
244 	isl_size n_out = isl_space_dim(space, isl_dim_out);  in pos2type()
245 	isl_size nparam = isl_space_dim(space, isl_dim_param);  in pos2type()
284 static __isl_give isl_printer *print_div(__isl_keep isl_space *space,
287 static __isl_give isl_printer *print_term(__isl_keep isl_space *space,  in print_term()  argument
294 	if (!p || !space)  in print_term()
300 	if (pos2type(space, &type, &pos) < 0)  in print_term()
314 		p = print_div(space, div, pos, p);  in print_term()
316 		p = print_name(space, p, type, pos, latex);  in print_term()
320 static __isl_give isl_printer *print_affine_of_len(__isl_keep isl_space *space,  in print_affine_of_len()  argument
340 		p = print_term(space, div, c[i], i, p, 0);  in print_affine_of_len()
350  * to "p", with the variable names taken from "space" and
354 	__isl_keep isl_space *space, __isl_keep isl_mat *div, isl_int *c)  in print_affine()  argument
359 	total = isl_space_dim(space, isl_dim_all);  in print_affine()
364 	return print_affine_of_len(space, div, p, c, len);  in print_affine()
367 /* offset is the offset of local_space inside data->type of data->space.
376 	if (data->space != local_space && local_type == isl_dim_out)  in print_nested_var_list()
388 			p = print_name(data->space, p, data->type, offset + i,  in print_nested_var_list()
395 	__isl_keep isl_space *space, enum isl_dim_type type)  in print_var_list()  argument
397 	struct isl_print_space_data data = { .space = space, .type = type };  in print_var_list()
399 	return print_nested_var_list(p, space, type, &data, 0);  in print_var_list()
429 		if (data->space != local_space && local_type == isl_dim_out)  in print_nested_tuple()
442 static __isl_give isl_printer *print_tuple(__isl_keep isl_space *space,  in print_tuple()  argument
446 	data->space = space;  in print_tuple()
448 	return print_nested_tuple(p, space, type, data, 0);  in print_tuple()
462 __isl_give isl_printer *isl_print_space(__isl_keep isl_space *space,  in isl_print_space()  argument
468 	if (isl_space_is_params(space))  in isl_print_space()
470 	else if (isl_space_is_set(space))  in isl_print_space()
471 		p = print_tuple(space, p, isl_dim_set, data);  in isl_print_space()
473 		p = print_tuple(space, p, isl_dim_in, data);  in isl_print_space()
475 		p = print_tuple(space, p, isl_dim_out, data);  in isl_print_space()
482 	__isl_keep isl_space *space, __isl_take isl_printer *p)  in print_omega_parameters()  argument
484 	isl_size nparam = isl_space_dim(space, isl_dim_param);  in print_omega_parameters()
493 	p = print_var_list(p, space, isl_dim_param);  in print_omega_parameters()
549  * the variable names taken from "space" and the integer division definitions
560 	__isl_keep isl_space *space, __isl_keep isl_mat *div,  in print_half_constraint()  argument
564 	p = print_affine(p, space, div, c);  in print_half_constraint()
574  * taken from "space" and the integer division definitions taken from "div".
583 	__isl_keep isl_space *space, __isl_keep isl_mat *div,  in print_constraint()  argument
588 	p = print_term(space, div, c[last], last, p, latex);  in print_constraint()
595 	p = print_affine(p, space, div, c);  in print_constraint()
608  * to "p".  The variable names are taken from "space", while any
612 	__isl_keep isl_space *space, __isl_keep isl_mat *div, int pos,  in print_mod()  argument
619 	p = print_affine_of_len(space, div, p,  in print_mod()
644 	__isl_keep isl_space *space, __isl_keep isl_mat *div, unsigned pos,  in print_as_modulo_pos()  argument
652 	if (!p || !space || n_div < 0)  in print_as_modulo_pos()
656 	if (pos2type(space, &type, &pos) < 0)  in print_as_modulo_pos()
671  * with the variable names taken from "space" and
687 	__isl_take isl_printer *p, __isl_keep isl_space *space,  in print_eq_mod_constraint()  argument
702 	p = print_mod(p, space, div, div_pos, latex);  in print_eq_mod_constraint()
709 	p = print_affine(p, space, div, c);  in print_eq_mod_constraint()
714  * taken from "space" and the integer division definitions taken from "div".
721 	__isl_keep isl_space *space, __isl_keep isl_mat *div, isl_int *c,  in print_eq_constraint()  argument
728 	div_pos = print_as_modulo_pos(p, space, div, last, c[last]);  in print_eq_constraint()
732 		return print_eq_mod_constraint(p, space, div, div_pos,  in print_eq_constraint()
734 	return print_constraint(p, space, div, c, last, "=", latex);  in print_eq_constraint()
738  * The names of the variables are taken from "space" and
778 	__isl_keep isl_space *space, __isl_keep isl_mat *div,  in print_constraints()  argument
816 		p = print_eq_constraint(p, space, div, c->el, l, latex);  in print_constraints()
852 			p = print_half_constraint(p, space, div, c->el, l,  in print_constraints()
857 			p = print_constraint(p, space, div, c->el, l,  in print_constraints()
874 static __isl_give isl_printer *print_div(__isl_keep isl_space *space,  in print_div()  argument
884 	p = print_affine_of_len(space, div, p,  in print_div()
898 	__isl_keep isl_space *space, __isl_keep isl_mat *div, int latex,  in print_div_list()  argument
906 	if (!p || !space || n_div < 0)  in print_div_list()
914 		p = print_name(space, p, isl_dim_div, i, latex);  in print_div_list()
919 		p = print_div(space, div, i, p);  in print_div_list()
957 	__isl_keep isl_space *space, __isl_keep isl_mat *div, int latex)  in open_exists()  argument
966 	p = print_div_list(p, space, div, latex, dump);  in open_exists()
989  * The names of the variables are taken from "space".
994 	__isl_keep isl_space *space, __isl_take isl_printer *p, int latex)  in print_disjunct()  argument
1006 		p = open_exists(p, space, div, latex);  in print_disjunct()
1010 	p = print_constraints(bmap, space, div, p, latex);  in print_disjunct()
1020  * The names of the variables are taken from "space".
1024 	__isl_keep isl_basic_map *bmap, __isl_keep isl_space *space,  in print_optional_disjunct()  argument
1031 	p = print_disjunct(bmap, space, p, latex);  in print_optional_disjunct()
1086 /* Print the list of parameters in "space", followed by an arrow, to "p",
1090 	__isl_keep isl_space *space, struct isl_print_space_data *data)  in print_param_tuple()  argument
1094 	nparam = isl_space_dim(space, isl_dim_param);  in print_param_tuple()
1100 	p = print_tuple(space, p, isl_dim_param, data);  in print_param_tuple()
1123  * The names of the variables are taken from "space".
1127 	__isl_keep isl_space *space, __isl_take isl_printer *p, int latex)  in print_disjuncts_core()  argument
1138 		p = print_disjunct(map->p[i], space, p, latex);  in print_disjuncts_core()
1146  * The names of the variables are taken from "space".
1155 	__isl_keep isl_space *space, __isl_take isl_basic_map *hull,  in print_disjuncts_in_hull()  argument
1160 	p = print_disjunct(hull, space, p, latex);  in print_disjuncts_in_hull()
1168 		p = print_disjuncts_core(map, space, p, latex);  in print_disjuncts_in_hull()
1181  * The names of the variables are taken from "space".
1189 	__isl_keep isl_space *space, __isl_take isl_printer *p, int latex)  in print_disjuncts()  argument
1207 			return print_disjuncts_in_hull(map, space, hull,  in print_disjuncts()
1212 	return print_disjuncts_core(map, space, p, latex);  in print_disjuncts()
1216  * The names of the variables are taken from "space".
1224 	__isl_keep isl_space *space, __isl_take isl_printer *p, int latex)  in print_disjuncts_map()  argument
1229 		return print_disjuncts(map, space, p, latex);  in print_disjuncts_map()
1233  * The names of the variables are taken from "space".
1237 	__isl_keep isl_space *space, __isl_take isl_printer *p, int latex)  in print_disjuncts_set()  argument
1239 	return print_disjuncts_map(set_to_map(set), space, p, latex);  in print_disjuncts_set()
1384 	__isl_keep isl_space *space, enum isl_dim_type type, int pos)  in defining_equality()  argument
1393 	pos += isl_space_offset(space, type);  in defining_equality()
1406 /* Print dimension "pos" of data->space to "p".
1420 	j = defining_equality(eq, data->space, data->type, pos);  in print_dim_eq()
1422 		if (isl_space_has_dim_name(data->space, data->type, pos)) {  in print_dim_eq()
1423 			p = print_name(data->space, p, data->type, pos,  in print_dim_eq()
1427 		pos += 1 + isl_space_offset(data->space, data->type);  in print_dim_eq()
1428 		p = print_affine_of_len(data->space, NULL, p, eq->eq[j], pos);  in print_dim_eq()
1430 		p = print_name(data->space, p, data->type, pos, data->latex);  in print_dim_eq()
1437 	struct isl_aff_split *split, int n, __isl_keep isl_space *space)  in print_split_map()  argument
1452 		p = isl_print_space(space, p, rational, &data);  in print_split_map()
1453 		p = print_disjuncts_map(split[i].map, space, p, 0);  in print_split_map()
1746 	__isl_keep isl_space *space, __isl_keep isl_mat *div, int var)  in print_base()  argument
1750 	total = isl_space_dim(space, isl_dim_all);  in print_base()
1754 		p = print_term(space, NULL, space->ctx->one, 1 + var, p, 0);  in print_base()
1756 		p = print_div(space, div, var - total, p);  in print_base()
1761 	__isl_keep isl_space *space, __isl_keep isl_mat *div, int var, int exp)  in print_pow()  argument
1763 	p = print_base(p, space, div, var);  in print_pow()
1770 			p = print_base(p, space, div, var);  in print_pow()
1779 /* Print the polynomial "poly" defined over the domain space "space" and
1783 	__isl_keep isl_space *space, __isl_keep isl_mat *div,  in poly_print()  argument
1792 	if (!p || is_cst < 0 || !space || !div)  in poly_print()
1828 				p = poly_print(rec->p[i], space, div, p);  in poly_print()
1835 		p = print_pow(p, space, div, rec->poly.var, i);  in poly_print()
1880  * taken from the domain space "space".
1883 	__isl_keep isl_space *space, __isl_keep isl_qpolynomial *qp)  in print_qpolynomial_c()  argument
1897 		p = poly_print(qp->poly, space, qp->div, p);  in print_qpolynomial_c()
1993 		isl_space *space;  in print_body_pw_qpolynomial()  local
1997 		space = isl_qpolynomial_get_domain_space(pwqp->p[i].qp);  in print_body_pw_qpolynomial()
1998 		if (!isl_space_is_params(space)) {  in print_body_pw_qpolynomial()
1999 			p = isl_print_space(space, p, 0, &data);  in print_body_pw_qpolynomial()
2003 		p = print_disjuncts(set_to_map(pwqp->p[i].set), space, p, 0);  in print_body_pw_qpolynomial()
2004 		isl_space_free(space);  in print_body_pw_qpolynomial()
2057 		isl_space *space;  in print_body_pw_qpolynomial_fold()  local
2061 		space = isl_qpolynomial_fold_get_domain_space(pwf->p[i].fold);  in print_body_pw_qpolynomial_fold()
2062 		if (!isl_space_is_params(space)) {  in print_body_pw_qpolynomial_fold()
2063 			p = isl_print_space(space, p, 0, &data);  in print_body_pw_qpolynomial_fold()
2067 		p = print_disjuncts(set_to_map(pwf->p[i].set), space, p, 0);  in print_body_pw_qpolynomial_fold()
2068 		isl_space_free(space);  in print_body_pw_qpolynomial_fold()
2139 	__isl_keep isl_space *space, __isl_keep isl_basic_set *bset)  in print_basic_set_c()  argument
2153 	ls = isl_local_space_alloc_div(isl_space_copy(space), div);  in print_basic_set_c()
2179 	__isl_keep isl_space *space, __isl_keep isl_set *set)  in print_set_c()  argument
2194 		p = print_basic_set_c(p, space, set->p[i]);  in print_set_c()
2207 	isl_space *space;  in print_pw_qpolynomial_c()  local
2209 	space = isl_pw_qpolynomial_get_domain_space(pwqp);  in print_pw_qpolynomial_c()
2211 		p = print_qpolynomial_c(p, space, pwqp->p[0].qp);  in print_pw_qpolynomial_c()
2212 		isl_space_free(space);  in print_pw_qpolynomial_c()
2218 		p = print_set_c(p, space, pwqp->p[i].set);  in print_pw_qpolynomial_c()
2220 		p = print_qpolynomial_c(p, space, pwqp->p[i].qp);  in print_pw_qpolynomial_c()
2224 	isl_space_free(space);  in print_pw_qpolynomial_c()
2266  * with the variable names taken from the domain space "space".
2269 	__isl_take isl_printer *p, __isl_keep isl_space *space,  in print_qpolynomial_fold_c()  argument
2292 		p = print_qpolynomial_c(p, space, qp);  in print_qpolynomial_fold_c()
2321 	isl_space *space;  in print_pw_qpolynomial_fold_c()  local
2323 	space = isl_pw_qpolynomial_fold_get_domain_space(pwf);  in print_pw_qpolynomial_fold_c()
2325 		p = print_qpolynomial_fold_c(p, space, pwf->p[0].fold);  in print_pw_qpolynomial_fold_c()
2326 		isl_space_free(space);  in print_pw_qpolynomial_fold_c()
2332 		p = print_set_c(p, space, pwf->p[i].set);  in print_pw_qpolynomial_fold_c()
2334 		p = print_qpolynomial_fold_c(p, space, pwf->p[i].fold);  in print_pw_qpolynomial_fold_c()
2338 	isl_space_free(space);  in print_pw_qpolynomial_fold_c()
2402 	isl_space *space;  in isl_printer_print_constraint()  local
2411 	space = isl_local_space_get_space(ls);  in isl_printer_print_constraint()
2412 	p = print_param_tuple(p, space, &data);  in isl_printer_print_constraint()
2414 	p = isl_print_space(space, p, 0, &data);  in isl_printer_print_constraint()
2420 		p = open_exists(p, space, ls->div, 0);  in isl_printer_print_constraint()
2421 	p = print_affine_of_len(space, ls->div, p, c->v->el, c->v->size);  in isl_printer_print_constraint()
2429 	isl_space_free(space);  in isl_printer_print_constraint()
2439 	__isl_take isl_printer *p, __isl_keep isl_space *space)  in isl_printer_print_space_isl()  argument
2443 	if (!space)  in isl_printer_print_space_isl()
2446 	p = print_param_tuple(p, space, &data);  in isl_printer_print_space_isl()
2449 	if (isl_space_is_params(space))  in isl_printer_print_space_isl()
2452 		p = isl_print_space(space, p, 0, &data);  in isl_printer_print_space_isl()
2462 	__isl_keep isl_space *space)  in isl_printer_print_space()  argument
2464 	if (!p || !space)  in isl_printer_print_space()
2467 		return isl_printer_print_space_isl(p, space);  in isl_printer_print_space()
2469 		return print_omega_parameters(space, p);  in isl_printer_print_space()
2471 	isl_die(isl_space_get_ctx(space), isl_error_unsupported,  in isl_printer_print_space()
2472 		"output format not supported for space",  in isl_printer_print_space()
2546  * with the variable names taken from "space".
2549 	__isl_keep isl_space *space, __isl_keep isl_aff *aff)  in print_aff_num_base()  argument
2556 	p = print_affine_of_len(space, aff->ls->div, p,  in print_aff_num_base()
2563 	__isl_keep isl_space *space, __isl_keep isl_aff *aff);
2566  * with the variable names taken from "space".
2570 	__isl_keep isl_space *space, __isl_keep isl_aff *aff, int first,  in print_mod_term()  argument
2591 	p = print_aff_num(p, space, aff);  in print_mod_term()
2604  * with the variable names taken from "space",
2620 	__isl_keep isl_space *space, __isl_keep isl_aff *aff, unsigned last)  in print_aff_num_mod()  argument
2642 			p = print_aff_num(p, space, aff);  in print_aff_num_mod()
2644 		p = print_mod_term(p, space, div, is_zero, isl_val_copy(a), m);  in print_aff_num_mod()
2656  * with the variable names taken from "space",
2663 	__isl_keep isl_space *space, __isl_keep isl_aff *aff)  in print_aff_num()  argument
2674 		return print_aff_num_mod(p, space, aff, mod);  in print_aff_num()
2676 		return print_aff_num_base(p, space, aff);  in print_aff_num()
2680  * with the variable names taken from "space".
2683 	__isl_keep isl_space *space, __isl_keep isl_aff *aff)  in print_aff_body()  argument
2689 	p = print_aff_num(p, space, aff);  in print_aff_body()
2843  * on parts of the domain space.  We therefore assume that the expression
2923 /* Print dimension "pos" of data->space to "p".
2929  * Make sure to use the domain space for printing names as
2930  * that is the space that will be used for printing constraints (if any).
2936 	isl_space *space;  in print_dim_ma()  local
2938 	space = isl_multi_aff_get_domain_space(ma);  in print_dim_ma()
2940 		p = print_aff_body(p, space, ma->u.p[pos]);  in print_dim_ma()
2946 		p = print_name(space, p, type, pos, data->latex);  in print_dim_ma()
2948 	isl_space_free(space);  in print_dim_ma()
2960 	return isl_print_space(maff->space, p, 0, &data);  in print_body_multi_aff()
2971 	p = print_param_tuple(p, maff->space, &data);  in print_multi_aff_isl()
3007 	isl_space *space;  in print_unnamed_pw_multi_aff_c()  local
3009 	space = isl_pw_multi_aff_get_domain_space(pma);  in print_unnamed_pw_multi_aff_c()
3012 		p = print_set_c(p, space, pma->p[i].set);  in print_unnamed_pw_multi_aff_c()
3017 	isl_space_free(space);  in print_unnamed_pw_multi_aff_c()
3092 /* Print dimension "pos" of data->space to "p".
3099  * Make sure to use the same space in both cases.
3100  * In particular, use the domain space for printing names as
3101  * that is the space that is used for printing constraints.
3108 	isl_space *space;  in print_dim_mpa()  local
3117 		space = isl_multi_pw_aff_get_domain_space(mpa);  in print_dim_mpa()
3118 		p = print_name(space, p, type, pos, data->latex);  in print_dim_mpa()
3119 		isl_space_free(space);  in print_dim_mpa()
3130 	space = isl_multi_pw_aff_get_domain_space(mpa);  in print_dim_mpa()
3135 		p = print_aff_body(p, space, pa->p[i].aff);  in print_dim_mpa()
3136 		p = print_disjuncts(pa->p[i].set, space, p, 0);  in print_dim_mpa()
3138 	isl_space_free(space);  in print_dim_mpa()
3159 	p = print_param_tuple(p, mpa->space, &data);  in print_multi_pw_aff_isl()
3163 	p = isl_print_space(mpa->space, p, 0, &data);  in print_multi_pw_aff_isl()
3168 		isl_space *space;  in print_multi_pw_aff_isl()  local
3170 		space = isl_space_domain(isl_space_copy(mpa->space));  in print_multi_pw_aff_isl()
3171 		p = print_disjuncts_set(mpa->u.dom, space, p, 0);  in print_multi_pw_aff_isl()
3172 		isl_space_free(space);  in print_multi_pw_aff_isl()
3190 /* Print dimension "pos" of data->space to "p".
3205 		return print_name(data->space, p, data->type, pos, data->latex);  in print_dim_mv()
3218 	p = print_param_tuple(p, mv->space, &data);  in print_multi_val_isl()
3222 	p = isl_print_space(mv->space, p, 0, &data);  in print_multi_val_isl()
3243 /* Print dimension "pos" of data->space to "p".
3258 		return print_name(data->space, p, data->type, pos, data->latex);  in print_dim_mi()
3266 	isl_space *space;  in print_multi_id_isl()  local
3269 	space = isl_multi_id_peek_space(mi);  in print_multi_id_isl()
3270 	p = print_param_tuple(p, space, &data);  in print_multi_id_isl()
3274 	p = isl_print_space(space, p, 0, &data);  in print_multi_id_isl()
3295 /* Print dimension "pos" of data->space to "p".
3330 	isl_space *space;  in print_multi_union_pw_aff_isl()  local
3338 	space = isl_multi_union_pw_aff_get_space(mupa);  in print_multi_union_pw_aff_isl()
3339 	p = print_param_tuple(p, space, &data);  in print_multi_union_pw_aff_isl()
3347 	p = isl_print_space(space, p, 0, &data);  in print_multi_union_pw_aff_isl()
3348 	isl_space_free(space);  in print_multi_union_pw_aff_isl()