add isl_set_get_tuple_name

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

diff --git a/doc/user.pod b/doc/user.pod
index 4248152..3de5f77 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -988,12 +988,17 @@ different kinds of variables appear in the resulting matrix
 and should be a permutation of C<isl_dim_cst>, C<isl_dim_param>,
 C<isl_dim_in>, C<isl_dim_out> and C<isl_dim_div>.
 
-The names of the domain and range spaces of a relation can be
-read off using the following function.
+The names of the domain and range spaces of a set or relation can be
+read off using the following functions.
 
+       const char *isl_set_get_tuple_name(
+               __isl_keep isl_set *set);
        const char *isl_basic_map_get_tuple_name(
                __isl_keep isl_basic_map *bmap,
                enum isl_dim_type type);
+       const char *isl_map_get_tuple_name(
+               __isl_keep isl_map *map,
+               enum isl_dim_type type);
 
 As with C<isl_dim_get_tuple_name>, the value returned points to
 an internal data structure.

diff --git a/include/isl_map.h b/include/isl_map.h
index 54d087d..4a5f819 100644 (file)
--- a/include/isl_map.h
+++ b/include/isl_map.h
@@ -131,6 +131,8 @@ __isl_give isl_basic_map *isl_basic_map_set_tuple_name(
        __isl_take isl_basic_map *bmap, enum isl_dim_type type, const char *s);
 const char *isl_basic_map_get_tuple_name(__isl_keep isl_basic_map *bmap,
        enum isl_dim_type type);
+const char *isl_map_get_tuple_name(__isl_keep isl_map *map,
+       enum isl_dim_type type);
 __isl_give isl_map *isl_map_set_tuple_name(__isl_take isl_map *map,
        enum isl_dim_type type, const char *s);
 __isl_give isl_basic_map *isl_basic_map_set_dim_name(

diff --git a/include/isl_set.h b/include/isl_set.h
index 295f111..0d99b49 100644 (file)
--- a/include/isl_set.h
+++ b/include/isl_set.h
@@ -90,6 +90,7 @@ isl_ctx *isl_set_get_ctx(__isl_keep isl_set *set);
 __isl_give isl_dim *isl_basic_set_get_dim(__isl_keep isl_basic_set *bset);
 __isl_give isl_dim *isl_set_get_dim(__isl_keep isl_set *set);
 
+const char *isl_set_get_tuple_name(__isl_keep isl_set *set);
 __isl_give isl_set *isl_set_set_tuple_name(__isl_take isl_set *set,
        const char *s);
 __isl_give isl_basic_set *isl_basic_set_set_dim_name(

diff --git a/isl_map.c b/isl_map.c
index cf3e0fb..ccc9b7d 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -360,12 +360,23 @@ error:
        return NULL;
 }
 
+const char *isl_map_get_tuple_name(__isl_keep isl_map *map,
+       enum isl_dim_type type)
+{
+       return map ? isl_dim_get_tuple_name(map->dim, type) : NULL;
+}
+
 __isl_give isl_set *isl_set_set_tuple_name(__isl_take isl_set *set,
        const char *s)
 {
        return (isl_set *)isl_map_set_tuple_name((isl_map *)set, isl_dim_set, s);
 }
 
+const char *isl_set_get_tuple_name(__isl_keep isl_set *set)
+{
+       return set ? isl_dim_get_tuple_name(set->dim, isl_dim_set) : NULL;
+}
+
 __isl_give isl_basic_map *isl_basic_map_set_dim_name(
        __isl_take isl_basic_map *bmap,
        enum isl_dim_type type, unsigned pos, const char *s)