add isl_basic_set_fast_dim_is_fixed
authorSven Verdoolaege <sven@cs.kuleuven.be>
Sat, 18 Jul 2009 16:00:14 +0000 (18:00 +0200)
committerSven Verdoolaege <sven@cs.kuleuven.be>
Sat, 18 Jul 2009 16:00:14 +0000 (18:00 +0200)
include/isl_set.h
isl_map.c

index d37a8ca..1bd1101 100644 (file)
@@ -198,6 +198,9 @@ struct isl_basic_set *isl_set_copy_basic_set(struct isl_set *set);
 struct isl_set *isl_set_drop_basic_set(struct isl_set *set,
                                                struct isl_basic_set *bset);
 
+int isl_basic_set_fast_dim_is_fixed(struct isl_basic_set *bset, unsigned dim,
+       isl_int *val);
+
 int isl_set_fast_dim_is_fixed(struct isl_set *set, unsigned dim, isl_int *val);
 int isl_set_fast_dim_has_fixed_lower_bound(struct isl_set *set,
        unsigned dim, isl_int *val);
index 4d68710..84ee42e 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -4087,6 +4087,13 @@ static int isl_map_fast_has_fixed_var(struct isl_map *map,
        return fixed;
 }
 
+static int isl_basic_set_fast_has_fixed_var(struct isl_basic_set *bset,
+       unsigned pos, isl_int *val)
+{
+       return isl_basic_map_fast_has_fixed_var((struct isl_basic_map *)bset,
+                                               pos, val);
+}
+
 static int isl_set_fast_has_fixed_var(struct isl_set *set, unsigned pos,
        isl_int *val)
 {
@@ -4105,6 +4112,16 @@ int isl_basic_map_fast_is_fixed(struct isl_basic_map *bmap,
 /* Check if dimension dim has fixed value and if so and if val is not NULL,
  * then return this fixed value in *val.
  */
+int isl_basic_set_fast_dim_is_fixed(struct isl_basic_set *bset, unsigned dim,
+       isl_int *val)
+{
+       return isl_basic_set_fast_has_fixed_var(bset,
+                                       isl_basic_set_n_param(bset) + dim, val);
+}
+
+/* Check if dimension dim has fixed value and if so and if val is not NULL,
+ * then return this fixed value in *val.
+ */
 int isl_set_fast_dim_is_fixed(struct isl_set *set, unsigned dim, isl_int *val)
 {
        return isl_set_fast_has_fixed_var(set, isl_set_n_param(set) + dim, val);