add isl_local_space_is_set

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

diff --git a/doc/user.pod b/doc/user.pod
index 5ab6313..5031e20 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -691,6 +691,7 @@ They can be inspected, copied and freed using the following functions.
        #include <isl/local_space.h>
        isl_ctx *isl_local_space_get_ctx(
                __isl_keep isl_local_space *ls);
+       int isl_local_space_is_set(__isl_keep isl_local_space *ls);
        int isl_local_space_dim(__isl_keep isl_local_space *ls,
                enum isl_dim_type type);
        const char *isl_local_space_get_dim_name(

diff --git a/include/isl/local_space.h b/include/isl/local_space.h
index d9175be..74fa4a6 100644 (file)
--- a/include/isl/local_space.h
+++ b/include/isl/local_space.h
@@ -19,6 +19,8 @@ __isl_give isl_local_space *isl_local_space_copy(
        __isl_keep isl_local_space *ls);
 void *isl_local_space_free(__isl_take isl_local_space *ls);
 
+int isl_local_space_is_set(__isl_keep isl_local_space *ls);
+
 int isl_local_space_dim(__isl_keep isl_local_space *ls,
        enum isl_dim_type type);
 const char *isl_local_space_get_dim_name(__isl_keep isl_local_space *ls,

diff --git a/isl_local_space.c b/isl_local_space.c
index 1298526..26db94a 100644 (file)
--- a/isl_local_space.c
+++ b/isl_local_space.c
@@ -113,6 +113,13 @@ void *isl_local_space_free(__isl_take isl_local_space *ls)
        return NULL;
 }
 
+/* Is the local space that of a set?
+ */
+int isl_local_space_is_set(__isl_keep isl_local_space *ls)
+{
+       return ls ? isl_space_is_set(ls->dim) : -1;
+}
+
 /* Return true if the two local spaces are identical, with identical
  * expressions for the integer divisions.
  */