export isl_set_eliminate

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

diff --git a/doc/user.pod b/doc/user.pod
index 6c87548..5ed913e 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -1339,6 +1339,15 @@ i.e., whether both domain and range are nested relations.
 The functions above construct a (basic, regular or union) relation
 that maps (a wrapped version of) the input relation to its domain or range.
 
+=item * Elimination
+
+       __isl_give isl_set *isl_set_eliminate(
+               __isl_take isl_set *set, enum isl_dim_type type,
+               unsigned first, unsigned n);
+
+Eliminate the coefficients for the given dimensions from the constraints,
+without removing the dimensions.
+
 =item * Identity
 
        __isl_give isl_map *isl_set_identity(

diff --git a/include/isl/set.h b/include/isl/set.h
index 2c35592..04ee56d 100644 (file)
--- a/include/isl/set.h
+++ b/include/isl/set.h
@@ -237,6 +237,8 @@ __isl_give isl_set *isl_set_project_out(__isl_take isl_set *set,
                enum isl_dim_type type, unsigned first, unsigned n);
 __isl_give isl_basic_set *isl_basic_set_remove_divs(
        __isl_take isl_basic_set *bset);
+__isl_give isl_set *isl_set_eliminate(__isl_take isl_set *set,
+       enum isl_dim_type type, unsigned first, unsigned n);
 struct isl_set *isl_set_eliminate_dims(struct isl_set *set,
                unsigned first, unsigned n);
 __isl_give isl_set *isl_set_remove_dims(__isl_take isl_set *bset,