From 461a2cd0addb0879be5eaab45832f35b780a3f9d Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Mon, 1 Oct 2012 10:55:08 +0200 Subject: [PATCH] rename isl_basic_set_add to isl_basic_set_add_dims For consistency with isl_set_add_dims and isl_basic_set_insert_dims. Signed-off-by: Sven Verdoolaege --- doc/user.pod | 3 +++ include/isl/set.h | 2 +- isl_aff.c | 2 +- isl_map.c | 2 +- isl_polynomial.c | 4 ++-- isl_tab_pip.c | 2 +- isl_transitive_closure.c | 2 +- 7 files changed, 10 insertions(+), 7 deletions(-) diff --git a/doc/user.pod b/doc/user.pod index aff35a35..78fa57e0 100644 --- a/doc/user.pod +++ b/doc/user.pod @@ -2595,6 +2595,9 @@ All parameters need to be named. =item * Dimension manipulation + __isl_give isl_basic_set *isl_basic_set_add_dims( + __isl_take isl_basic_set *bset, + enum isl_dim_type type, unsigned n); __isl_give isl_set *isl_set_add_dims( __isl_take isl_set *set, enum isl_dim_type type, unsigned n); diff --git a/include/isl/set.h b/include/isl/set.h index 8390ae33..636d8390 100644 --- a/include/isl/set.h +++ b/include/isl/set.h @@ -320,7 +320,7 @@ __isl_give isl_basic_set *isl_basic_set_insert_dims( enum isl_dim_type type, unsigned pos, unsigned n); __isl_give isl_set *isl_set_insert_dims(__isl_take isl_set *set, enum isl_dim_type type, unsigned pos, unsigned n); -__isl_give isl_basic_set *isl_basic_set_add(__isl_take isl_basic_set *bset, +__isl_give isl_basic_set *isl_basic_set_add_dims(__isl_take isl_basic_set *bset, enum isl_dim_type type, unsigned n); __isl_give isl_set *isl_set_add_dims(__isl_take isl_set *set, enum isl_dim_type type, unsigned n); diff --git a/isl_aff.c b/isl_aff.c index fb57f24b..d8b89ce6 100644 --- a/isl_aff.c +++ b/isl_aff.c @@ -1372,7 +1372,7 @@ static __isl_give isl_aff *isl_aff_substitute_equalities( goto error; n_div = isl_local_space_dim(aff->ls, isl_dim_div); if (n_div > 0) - eq = isl_basic_set_add(eq, isl_dim_set, n_div); + eq = isl_basic_set_add_dims(eq, isl_dim_set, n_div); return isl_aff_substitute_equalities_lifted(aff, eq); error: isl_basic_set_free(eq); diff --git a/isl_map.c b/isl_map.c index 4a49d410..343d5746 100644 --- a/isl_map.c +++ b/isl_map.c @@ -3062,7 +3062,7 @@ __isl_give isl_basic_map *isl_basic_map_add(__isl_take isl_basic_map *bmap, isl_basic_map_dim(bmap, type), n); } -__isl_give isl_basic_set *isl_basic_set_add(__isl_take isl_basic_set *bset, +__isl_give isl_basic_set *isl_basic_set_add_dims(__isl_take isl_basic_set *bset, enum isl_dim_type type, unsigned n) { if (!bset) diff --git a/isl_polynomial.c b/isl_polynomial.c index 7a55ed15..bc0937dc 100644 --- a/isl_polynomial.c +++ b/isl_polynomial.c @@ -2503,7 +2503,7 @@ __isl_give isl_qpolynomial *isl_qpolynomial_substitute_equalities( if (!qp || !eq) goto error; if (qp->div->n_row > 0) - eq = isl_basic_set_add(eq, isl_dim_set, qp->div->n_row); + eq = isl_basic_set_add_dims(eq, isl_dim_set, qp->div->n_row); return isl_qpolynomial_substitute_equalities_lifted(qp, eq); error: isl_basic_set_free(eq); @@ -3215,7 +3215,7 @@ int isl_qpolynomial_as_polynomial_on_domain(__isl_keep isl_qpolynomial *qp, dim = isl_space_add_dims(dim, isl_dim_set, qp->div->n_row); poly = isl_qpolynomial_alloc(dim, 0, isl_upoly_copy(qp->upoly)); bset = isl_basic_set_copy(bset); - bset = isl_basic_set_add(bset, isl_dim_set, qp->div->n_row); + bset = isl_basic_set_add_dims(bset, isl_dim_set, qp->div->n_row); bset = add_div_constraints(bset, div); return fn(bset, poly, user); diff --git a/isl_tab_pip.c b/isl_tab_pip.c index ded4b30e..4acfe8e7 100644 --- a/isl_tab_pip.c +++ b/isl_tab_pip.c @@ -4521,7 +4521,7 @@ static union isl_lex_res basic_map_partial_lexopt_symm( bmap = isl_basic_map_finalize(bmap); n_div = isl_basic_set_dim(dom, isl_dim_div); - dom = isl_basic_set_add(dom, isl_dim_set, 1); + dom = isl_basic_set_add_dims(dom, isl_dim_set, 1); dom = isl_basic_set_extend_constraints(dom, 0, n); for (i = 0; i < n; ++i) { k = isl_basic_set_alloc_inequality(dom); diff --git a/isl_transitive_closure.c b/isl_transitive_closure.c index 99e76da2..70d15b91 100644 --- a/isl_transitive_closure.c +++ b/isl_transitive_closure.c @@ -609,7 +609,7 @@ static __isl_give isl_map *path_along_delta(__isl_take isl_space *dim, isl_space *dim = isl_basic_set_get_space(delta); delta = isl_basic_set_project_out(delta, isl_dim_param, 0, nparam); - delta = isl_basic_set_add(delta, isl_dim_param, nparam); + delta = isl_basic_set_add_dims(delta, isl_dim_param, nparam); delta = isl_basic_set_reset_space(delta, dim); if (!delta) goto error; -- 2.11.4.GIT