add isl_set_has_tuple_name

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

diff --git a/doc/user.pod b/doc/user.pod
index b427151..12819ca 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -1549,6 +1549,7 @@ or relation can be read off or set using the following functions.
                __isl_keep isl_basic_set *bset);
        __isl_give isl_basic_set *isl_basic_set_set_tuple_name(
                __isl_take isl_basic_set *set, const char *s);
+       int isl_set_has_tuple_name(__isl_keep isl_set *set);
        const char *isl_set_get_tuple_name(
                __isl_keep isl_set *set);
        const char *isl_basic_map_get_tuple_name(

diff --git a/include/isl/set.h b/include/isl/set.h
index 3f04c49..17dccac 100644 (file)
--- a/include/isl/set.h
+++ b/include/isl/set.h
@@ -45,6 +45,7 @@ __isl_give isl_local_space *isl_basic_set_get_local_space(
        __isl_keep isl_basic_set *bset);
 
 const char *isl_basic_set_get_tuple_name(__isl_keep isl_basic_set *bset);
+int isl_set_has_tuple_name(__isl_keep isl_set *set);
 const char *isl_set_get_tuple_name(__isl_keep isl_set *set);
 __isl_give isl_basic_set *isl_basic_set_set_tuple_name(
        __isl_take isl_basic_set *set, const char *s);

diff --git a/isl_map.c b/isl_map.c
index e6cee22..c364baf 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -474,6 +474,14 @@ __isl_give isl_id *isl_set_get_tuple_id(__isl_keep isl_set *set)
        return isl_map_get_tuple_id(set, isl_dim_set);
 }
 
+/* Does the set tuple have a name?
+ */
+int isl_set_has_tuple_name(__isl_keep isl_set *set)
+{
+       return set ? isl_space_has_tuple_name(set->dim, isl_dim_set) : -1;
+}
+
+
 const char *isl_basic_set_get_tuple_name(__isl_keep isl_basic_set *bset)
 {
        return bset ? isl_space_get_tuple_name(bset->dim, isl_dim_set) : NULL;