From 14bd4c8bcb8705e34d1d28e1f536e84a3673df99 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Thu, 17 Feb 2011 20:08:59 +0100 Subject: [PATCH] export isl_basic_map_flatten Signed-off-by: Sven Verdoolaege --- doc/user.pod | 2 ++ include/isl/map.h | 1 + 2 files changed, 3 insertions(+) diff --git a/doc/user.pod b/doc/user.pod index ceb179a..366ea14 100644 --- a/doc/user.pod +++ b/doc/user.pod @@ -1475,6 +1475,8 @@ then the name of the space is also removed. __isl_take isl_basic_set *bset); __isl_give isl_set *isl_set_flatten( __isl_take isl_set *set); + __isl_give isl_basic_map *isl_basic_map_flatten( + __isl_take isl_basic_map *bmap); __isl_give isl_map *isl_map_flatten( __isl_take isl_map *map); diff --git a/include/isl/map.h b/include/isl/map.h index 63eb44f..117b4ed 100644 --- a/include/isl/map.h +++ b/include/isl/map.h @@ -335,6 +335,7 @@ __isl_give isl_basic_set *isl_basic_map_wrap(__isl_take isl_basic_map *bmap); __isl_give isl_set *isl_map_wrap(__isl_take isl_map *map); __isl_give isl_basic_map *isl_basic_set_unwrap(__isl_take isl_basic_set *bset); __isl_give isl_map *isl_set_unwrap(__isl_take isl_set *set); +__isl_give isl_basic_map *isl_basic_map_flatten(__isl_take isl_basic_map *bmap); __isl_give isl_map *isl_map_flatten(__isl_take isl_map *map); __isl_give isl_basic_set *isl_basic_set_flatten(__isl_take isl_basic_set *bset); __isl_give isl_set *isl_set_flatten(__isl_take isl_set *set); -- 2.7.4