From 41b9c31ff4b21af0b3223b608973ea178585b315 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Sun, 8 May 2011 15:37:43 +0200 Subject: [PATCH] export isl_set_eliminate Signed-off-by: Sven Verdoolaege --- doc/user.pod | 9 +++++++++ include/isl/set.h | 2 ++ 2 files changed, 11 insertions(+) diff --git a/doc/user.pod b/doc/user.pod index 6c87548..5ed913e 100644 --- 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 --- 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, -- 2.7.4