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 <skimo@kotnet.org>

diff --git a/doc/user.pod b/doc/user.pod
index aff35a3..78fa57e 100644 (file)
--- 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 8390ae3..636d839 100644 (file)
--- 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 fb57f24..d8b89ce 100644 (file)
--- 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 4a49d41..343d574 100644 (file)
--- 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 7a55ed1..bc0937d 100644 (file)
--- 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 ded4b30..4acfe8e 100644 (file)
--- 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 99e76da..70d15b9 100644 (file)
--- 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;