privately export isl_basic_set_add_{in,}eq

diff --git a/isl_map.c b/isl_map.c
index ed9d35b..d015bb4 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -640,6 +640,42 @@ int isl_basic_set_drop_inequality(struct isl_basic_set *bset, unsigned pos)
        return isl_basic_map_drop_inequality((struct isl_basic_map *)bset, pos);
 }
 
+__isl_give isl_basic_set *isl_basic_set_add_eq(__isl_take isl_basic_set *bset,
+       isl_int *eq)
+{
+       int k;
+
+       bset = isl_basic_set_extend_constraints(bset, 1, 0);
+       if (!bset)
+               return NULL;
+       k = isl_basic_set_alloc_equality(bset);
+       if (k < 0)
+               goto error;
+       isl_seq_cpy(bset->eq[k], eq, 1 + isl_basic_set_total_dim(bset));
+       return bset;
+error:
+       isl_basic_set_free(bset);
+       return NULL;
+}
+
+__isl_give isl_basic_set *isl_basic_set_add_ineq(__isl_take isl_basic_set *bset,
+       isl_int *ineq)
+{
+       int k;
+
+       bset = isl_basic_set_extend_constraints(bset, 0, 1);
+       if (!bset)
+               return NULL;
+       k = isl_basic_set_alloc_inequality(bset);
+       if (k < 0)
+               goto error;
+       isl_seq_cpy(bset->ineq[k], ineq, 1 + isl_basic_set_total_dim(bset));
+       return bset;
+error:
+       isl_basic_set_free(bset);
+       return NULL;
+}
+
 int isl_basic_map_alloc_div(struct isl_basic_map *bmap)
 {
        if (!bmap)

diff --git a/isl_map_private.h b/isl_map_private.h
index d8c961c..3a76050 100644 (file)
--- a/isl_map_private.h
+++ b/isl_map_private.h
@@ -52,6 +52,10 @@ int isl_basic_map_drop_equality(struct isl_basic_map *bmap, unsigned pos);
 int isl_basic_set_drop_equality(struct isl_basic_set *bset, unsigned pos);
 int isl_basic_set_drop_inequality(struct isl_basic_set *bset, unsigned pos);
 int isl_basic_map_drop_inequality(struct isl_basic_map *bmap, unsigned pos);
+__isl_give isl_basic_set *isl_basic_set_add_eq(__isl_take isl_basic_set *bset,
+       isl_int *eq);
+__isl_give isl_basic_set *isl_basic_set_add_ineq(__isl_take isl_basic_set *bset,
+       isl_int *ineq);
 
 int isl_inequality_negate(struct isl_basic_map *bmap, unsigned pos);
 

diff --git a/isl_tab_pip.c b/isl_tab_pip.c
index 4bc8782..6a9fe89 100644 (file)
--- a/isl_tab_pip.c
+++ b/isl_tab_pip.c
@@ -284,43 +284,6 @@ static struct isl_sol *sol_map_add_wrap(struct isl_sol *sol,
 }
 
 
-static struct isl_basic_set *isl_basic_set_add_ineq(struct isl_basic_set *bset,
-       isl_int *ineq)
-{
-       int k;
-
-       bset = isl_basic_set_extend_constraints(bset, 0, 1);
-       if (!bset)
-               return NULL;
-       k = isl_basic_set_alloc_inequality(bset);
-       if (k < 0)
-               goto error;
-       isl_seq_cpy(bset->ineq[k], ineq, 1 + isl_basic_set_total_dim(bset));
-       return bset;
-error:
-       isl_basic_set_free(bset);
-       return NULL;
-}
-
-static struct isl_basic_set *isl_basic_set_add_eq(struct isl_basic_set *bset,
-       isl_int *eq)
-{
-       int k;
-
-       bset = isl_basic_set_extend_constraints(bset, 1, 0);
-       if (!bset)
-               return NULL;
-       k = isl_basic_set_alloc_equality(bset);
-       if (k < 0)
-               goto error;
-       isl_seq_cpy(bset->eq[k], eq, 1 + isl_basic_set_total_dim(bset));
-       return bset;
-error:
-       isl_basic_set_free(bset);
-       return NULL;
-}
-
-
 /* Store the "parametric constant" of row "row" of tableau "tab" in "line",
  * i.e., the constant term and the coefficients of all variables that
  * appear in the context tableau.