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>

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;