add isl_set_get_dim_name

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

diff --git a/doc/user.pod b/doc/user.pod
index 3de5f77..7801003 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -1002,6 +1002,18 @@ read off using the following functions.
 
 As with C<isl_dim_get_tuple_name>, the value returned points to
 an internal data structure.
+The names of individual dimensions can be read off using
+the following functions.
+
+       const char *isl_set_get_dim_name(
+               __isl_keep isl_set *set,
+               enum isl_dim_type type, unsigned pos);
+       const char *isl_map_get_dim_name(
+               __isl_keep isl_map *map,
+               enum isl_dim_type type, unsigned pos);
+
+These functions are mostly useful to obtain the names
+of the parameters.
 
 =head2 Properties
 

diff --git a/include/isl_map.h b/include/isl_map.h
index 4a5f819..904f975 100644 (file)
--- a/include/isl_map.h
+++ b/include/isl_map.h
@@ -135,6 +135,8 @@ 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);
+const char *isl_map_get_dim_name(__isl_keep isl_map *map,
+       enum isl_dim_type type, unsigned pos);
 __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);

diff --git a/include/isl_set.h b/include/isl_set.h
index 0d99b49..79916ef 100644 (file)
--- a/include/isl_set.h
+++ b/include/isl_set.h
@@ -96,6 +96,8 @@ __isl_give isl_set *isl_set_set_tuple_name(__isl_take isl_set *set,
 __isl_give isl_basic_set *isl_basic_set_set_dim_name(
        __isl_take isl_basic_set *bset,
        enum isl_dim_type type, unsigned pos, const char *s);
+const char *isl_set_get_dim_name(__isl_keep isl_set *set,
+       enum isl_dim_type type, unsigned pos);
 __isl_give isl_set *isl_set_set_dim_name(__isl_take isl_set *set,
        enum isl_dim_type type, unsigned pos, const char *s);
 

diff --git a/isl_map.c b/isl_map.c
index ccc9b7d..3014bc4 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -377,6 +377,18 @@ 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;
 }
 
+const char *isl_map_get_dim_name(__isl_keep isl_map *map,
+       enum isl_dim_type type, unsigned pos)
+{
+       return map ? isl_dim_get_name(map->dim, type, pos) : NULL;
+}
+
+const char *isl_set_get_dim_name(__isl_keep isl_set *set,
+       enum isl_dim_type type, unsigned pos)
+{
+       return set ? isl_dim_get_name(set->dim, type, pos) : 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)