add isl_basic_set_from_params

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

diff --git a/doc/user.pod b/doc/user.pod
index 737f6de..6049a1c 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -1280,9 +1280,11 @@ space.
        __isl_give isl_map *isl_map_from_union_map(
                __isl_take isl_union_map *umap);
 
-A zero-dimensional set can be constructed on a given parameter domain
+A zero-dimensional (basic) set can be constructed on a given parameter domain
 using the following function.
 
+       __isl_give isl_basic_set *isl_basic_set_from_params(
+               __isl_take isl_basic_set *bset);
        __isl_give isl_set *isl_set_from_params(
                __isl_take isl_set *set);
 

diff --git a/include/isl/set.h b/include/isl/set.h
index 6552a8d..8390ae3 100644 (file)
--- a/include/isl/set.h
+++ b/include/isl/set.h
@@ -224,6 +224,8 @@ int isl_set_follows_at(__isl_keep isl_set *set1,
        __isl_keep isl_set *set2, int pos);
 
 __isl_give isl_basic_set *isl_basic_set_params(__isl_take isl_basic_set *bset);
+__isl_give isl_basic_set *isl_basic_set_from_params(
+       __isl_take isl_basic_set *bset);
 __isl_give isl_set *isl_set_params(__isl_take isl_set *set);
 __isl_give isl_set *isl_set_from_params(__isl_take isl_set *set);
 

diff --git a/isl_map.c b/isl_map.c
index 894f2bd..4a49d41 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -4519,6 +4519,18 @@ __isl_give isl_basic_set *isl_basic_set_params(__isl_take isl_basic_set *bset)
        return bset;
 }
 
+/* Construct a zero-dimensional basic set with the given parameter domain.
+ */
+__isl_give isl_basic_set *isl_basic_set_from_params(
+       __isl_take isl_basic_set *bset)
+{
+       isl_space *space;
+       space = isl_basic_set_get_space(bset);
+       space = isl_space_set_from_params(space);
+       bset = isl_basic_set_reset_space(bset, space);
+       return bset;
+}
+
 /* Compute the parameter domain of the given set.
  */
 __isl_give isl_set *isl_set_params(__isl_take isl_set *set)