From 99c11d6039a62bcb38eb8a7953ec7d223e66c2de Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Thu, 1 Dec 2011 16:02:22 +0100 Subject: [PATCH] export isl_map_eliminate Signed-off-by: Sven Verdoolaege --- doc/user.pod | 3 +++ include/isl/map.h | 2 ++ 2 files changed, 5 insertions(+) diff --git a/doc/user.pod b/doc/user.pod index 6a7ca931..1b4c475f 100644 --- 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 7f18dc63..289e7cc1 100644 --- 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, -- 2.11.4.GIT