export isl_basic_set_remove_redundancies

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

diff --git a/doc/user.pod b/doc/user.pod
index 5c3c14e..c7639f4 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -1409,6 +1409,13 @@ basic set or relation.
 Simplify the representation of a set or relation by detecting implicit
 equalities.
 
+=item * Removing redundant constraints
+
+       __isl_give isl_basic_set *isl_basic_set_remove_redundancies(
+               __isl_take isl_basic_set *bset);
+       __isl_give isl_basic_map *isl_basic_map_remove_redundancies(
+               __isl_take isl_basic_map *bmap);
+
 =item * Convex hull
 
        __isl_give isl_basic_set *isl_set_convex_hull(

diff --git a/include/isl/set.h b/include/isl/set.h
index 04ee56d..5d3955d 100644 (file)
--- a/include/isl/set.h
+++ b/include/isl/set.h
@@ -91,6 +91,8 @@ __isl_give isl_basic_set *isl_basic_set_remove_dims(
 struct isl_basic_set *isl_basic_set_simplify(struct isl_basic_set *bset);
 __isl_give isl_basic_set *isl_basic_set_detect_equalities(
                                                __isl_take isl_basic_set *bset);
+__isl_give isl_basic_set *isl_basic_set_remove_redundancies(
+       __isl_take isl_basic_set *bset);
 __isl_give isl_basic_set *isl_basic_set_list_product(
        __isl_take struct isl_basic_set_list *list);