add isl_space_set_from_params

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

diff --git a/doc/user.pod b/doc/user.pod
index ca813c1..8fc61bc 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -692,6 +692,8 @@ using the following functions.
        __isl_give isl_space *isl_space_from_range(__isl_take isl_space *space);
        __isl_give isl_space *isl_space_params(
                __isl_take isl_space *space);
+       __isl_give isl_space *isl_space_set_from_params(
+               __isl_take isl_space *space);
        __isl_give isl_space *isl_space_reverse(__isl_take isl_space *space);
        __isl_give isl_space *isl_space_join(__isl_take isl_space *left,
                __isl_take isl_space *right);

diff --git a/include/isl/space.h b/include/isl/space.h
index 2ca7f95..77aea98 100644 (file)
--- a/include/isl/space.h
+++ b/include/isl/space.h
@@ -101,6 +101,7 @@ __isl_give isl_space *isl_space_from_domain(__isl_take isl_space *dim);
 __isl_give isl_space *isl_space_range(__isl_take isl_space *dim);
 __isl_give isl_space *isl_space_from_range(__isl_take isl_space *dim);
 __isl_give isl_space *isl_space_params(__isl_take isl_space *space);
+__isl_give isl_space *isl_space_set_from_params(__isl_take isl_space *space);
 
 __isl_give isl_space *isl_space_align_params(__isl_take isl_space *dim1,
        __isl_take isl_space *dim2);

diff --git a/isl_space.c b/isl_space.c
index 7bac578..2b09204 100644 (file)
--- a/isl_space.c
+++ b/isl_space.c
@@ -1246,6 +1246,19 @@ __isl_give isl_space *isl_space_params(__isl_take isl_space *space)
        return space;
 }
 
+__isl_give isl_space *isl_space_set_from_params(__isl_take isl_space *space)
+{
+       if (!space)
+               return NULL;
+       if (!isl_space_is_params(space))
+               isl_die(isl_space_get_ctx(space), isl_error_invalid,
+                       "not a parameter space", goto error);
+       return isl_space_reset(space, isl_dim_set);
+error:
+       isl_space_free(space);
+       return NULL;
+}
+
 __isl_give isl_space *isl_space_as_set_space(__isl_take isl_space *dim)
 {
        dim = isl_space_cow(dim);