add isl_basic_set_flatten

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

diff --git a/doc/user.pod b/doc/user.pod
index cabc3b8..a94b8b6 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -1429,6 +1429,8 @@ Remove any internal structure of domain (and range) of the given
 set or relation.  If there is any such internal structure in the input,
 then the name of the space is also removed.
 
+       __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);
        __isl_give isl_map *isl_map_flatten(

diff --git a/include/isl/map.h b/include/isl/map.h
index dec368a..06c9af9 100644 (file)
--- a/include/isl/map.h
+++ b/include/isl/map.h
@@ -325,6 +325,7 @@ __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_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);
 __isl_give isl_map *isl_set_flatten_map(__isl_take isl_set *set);
 __isl_give isl_set *isl_map_domain(__isl_take isl_map *bmap);

diff --git a/isl_map.c b/isl_map.c
index 8c7f7e7..8f84462 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -7894,6 +7894,11 @@ error:
        return NULL;
 }
 
+__isl_give isl_basic_set *isl_basic_set_flatten(__isl_take isl_basic_set *bset)
+{
+       return (isl_basic_set *)isl_basic_map_flatten((isl_basic_map *)bset);
+}
+
 __isl_give isl_map *isl_map_flatten(__isl_take isl_map *map)
 {
        int i;