add isl_set_plain_is_fixed

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

diff --git a/doc/user.pod b/doc/user.pod
index 8dd6fd3..4386843 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -1551,6 +1551,9 @@ is already known to be empty.
                __isl_keep isl_basic_map *bmap,
                enum isl_dim_type type, unsigned pos,
                isl_int *val);
+       int isl_set_plain_is_fixed(__isl_keep isl_set *set,
+               enum isl_dim_type type, unsigned pos,
+               isl_int *val);
        int isl_map_plain_is_fixed(__isl_keep isl_map *map,
                enum isl_dim_type type, unsigned pos,
                isl_int *val);

diff --git a/include/isl/set.h b/include/isl/set.h
index b48a230..35c4aba 100644 (file)
--- a/include/isl/set.h
+++ b/include/isl/set.h
@@ -327,6 +327,8 @@ struct isl_set *isl_set_drop_basic_set(struct isl_set *set,
 int isl_basic_set_plain_dim_is_fixed(__isl_keep isl_basic_set *bset,
        unsigned dim, isl_int *val);
 
+int isl_set_plain_is_fixed(__isl_keep isl_set *set,
+       enum isl_dim_type type, unsigned pos, isl_int *val);
 int isl_set_plain_dim_is_fixed(__isl_keep isl_set *set,
        unsigned dim, isl_int *val);
 int isl_set_fast_dim_is_fixed(__isl_keep isl_set *set,

diff --git a/isl_map.c b/isl_map.c
index bb1e341..d311a4c 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -7380,6 +7380,12 @@ int isl_map_plain_is_fixed(__isl_keep isl_map *map,
                map_offset(map, type) - 1 + pos, val);
 }
 
+int isl_set_plain_is_fixed(__isl_keep isl_set *set,
+       enum isl_dim_type type, unsigned pos, isl_int *val)
+{
+       return isl_map_plain_is_fixed(set, type, pos, val);
+}
+
 int isl_map_fast_is_fixed(__isl_keep isl_map *map,
        enum isl_dim_type type, unsigned pos, isl_int *val)
 {