export isl_map_eliminate

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

diff --git a/doc/user.pod b/doc/user.pod
index 6a7ca93..1b4c475 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -1764,6 +1764,9 @@ that maps (a wrapped version of) the input relation to its domain or range.
                __isl_take isl_basic_map *bmap,
                enum isl_dim_type type,
                unsigned first, unsigned n);
+       __isl_give isl_map *isl_map_eliminate(
+               __isl_take isl_map *map, enum isl_dim_type type,
+               unsigned first, unsigned n);
 
 Eliminate the coefficients for the given dimensions from the constraints,
 without removing the dimensions.

diff --git a/include/isl/map.h b/include/isl/map.h
index 7f18dc6..289e7cc 100644 (file)
--- a/include/isl/map.h
+++ b/include/isl/map.h
@@ -405,6 +405,8 @@ __isl_give isl_map *isl_map_project_out(__isl_take isl_map *map,
 __isl_give isl_basic_map *isl_basic_map_remove_divs(
        __isl_take isl_basic_map *bmap);
 __isl_give isl_map *isl_map_remove_divs(__isl_take isl_map *map);
+__isl_give isl_map *isl_map_eliminate(__isl_take isl_map *map,
+       enum isl_dim_type type, unsigned first, unsigned n);
 __isl_give isl_map *isl_map_remove_dims(__isl_take isl_map *map,
        enum isl_dim_type type, unsigned first, unsigned n);
 struct isl_map *isl_map_remove_inputs(struct isl_map *map,