privately export isl_set_wrap_facet

diff --git a/isl_convex_hull.c b/isl_convex_hull.c
index e91bf12..41427f1 100644 (file)
--- a/isl_convex_hull.c
+++ b/isl_convex_hull.c
@@ -461,7 +461,8 @@ static struct isl_basic_set *wrap_constraints(struct isl_set *set)
  * This means that the facet is unbounded, but has a bounded intersection
  * with the union of sets.
  */
-static isl_int *wrap_facet(struct isl_set *set, isl_int *facet, isl_int *ridge)
+isl_int *isl_set_wrap_facet(__isl_keep isl_set *set,
+       isl_int *facet, isl_int *ridge)
 {
        int i;
        struct isl_mat *T = NULL;
@@ -619,7 +620,7 @@ static struct isl_mat *initial_facet_constraint(struct isl_set *set,
                bounds = drop_redundant_rows(bounds);
                bounds = isl_mat_product(bounds, Q);
                isl_assert(set->ctx, bounds->n_row > 1, goto error);
-               if (!wrap_facet(set, bounds->row[0],
+               if (!isl_set_wrap_facet(set, bounds->row[0],
                                          bounds->row[bounds->n_row-1]))
                        goto error;
                isl_basic_set_free(face);
@@ -764,7 +765,7 @@ static struct isl_basic_set *extend(struct isl_basic_set *hull,
                        if (k < 0)
                                goto error;
                        isl_seq_cpy(hull->ineq[k], hull->ineq[i], 1+dim);
-                       if (!wrap_facet(set, hull->ineq[k], facet->ineq[j]))
+                       if (!isl_set_wrap_facet(set, hull->ineq[k], facet->ineq[j]))
                                goto error;
                }
                isl_basic_set_free(hull_facet);

diff --git a/isl_map_private.h b/isl_map_private.h
index 22ca0ef..968cbdf 100644 (file)
--- a/isl_map_private.h
+++ b/isl_map_private.h
@@ -153,3 +153,6 @@ struct isl_set *isl_set_preimage(struct isl_set *set, struct isl_mat *mat);
 
 __isl_give isl_set *isl_set_make_disjoint(__isl_take isl_set *set);
 __isl_give isl_map *isl_map_make_disjoint(__isl_take isl_map *map);
+
+isl_int *isl_set_wrap_facet(__isl_keep isl_set *set,
+       isl_int *facet, isl_int *ridge);