rename isl_set_dim_has_*_bound to isl_set_dim_has_any_*_bound

The original names more accurately describe functions that check
that there is a bound in each of basic sets.

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

diff --git a/doc/user.pod b/doc/user.pod
index a67a4ab..5a9d5cb 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -168,6 +168,17 @@ A call C<isl_pw_aff_cond(a, b, c)> can be replaced by
 
 =back
 
+=head3 Changes since isl-0.10
+
+=over
+
+=item * The functions C<isl_set_dim_has_lower_bound> and
+C<isl_set_dim_has_upper_bound> have been renamed to
+C<isl_set_dim_has_any_lower_bound> and
+C<isl_set_dim_has_any_upper_bound>.
+
+=back
+
 =head1 License
 
 C<isl> is released under the MIT license.
@@ -1639,9 +1650,9 @@ constraints.  Instead the following functions can be used.
 Similarly, the following functions can be used to check whether
 a given dimension is involved in any lower or upper bound.
 
-       int isl_set_dim_has_lower_bound(__isl_keep isl_set *set,
+       int isl_set_dim_has_any_lower_bound(__isl_keep isl_set *set,
                enum isl_dim_type type, unsigned pos);
-       int isl_set_dim_has_upper_bound(__isl_keep isl_set *set,
+       int isl_set_dim_has_any_upper_bound(__isl_keep isl_set *set,
                enum isl_dim_type type, unsigned pos);
 
 The identifiers or names of the domain and range spaces of a set

diff --git a/include/isl/set.h b/include/isl/set.h
index f091f5b..77a5901 100644 (file)
--- a/include/isl/set.h
+++ b/include/isl/set.h
@@ -397,9 +397,9 @@ int isl_set_plain_dim_has_fixed_lower_bound(__isl_keep isl_set *set,
        unsigned dim, isl_int *val);
 int isl_set_dim_is_bounded(__isl_keep isl_set *set,
        enum isl_dim_type type, unsigned pos);
-int isl_set_dim_has_lower_bound(__isl_keep isl_set *set,
+int isl_set_dim_has_any_lower_bound(__isl_keep isl_set *set,
        enum isl_dim_type type, unsigned pos);
-int isl_set_dim_has_upper_bound(__isl_keep isl_set *set,
+int isl_set_dim_has_any_upper_bound(__isl_keep isl_set *set,
        enum isl_dim_type type, unsigned pos);
 
 __isl_export

diff --git a/isl_map.c b/isl_map.c
index 45cd11f..6dd07b5 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -9036,7 +9036,7 @@ int isl_set_dim_is_bounded(__isl_keep isl_set *set,
        return isl_map_dim_is_bounded((isl_map *)set, type, pos);
 }
 
-static int has_bound(__isl_keep isl_map *map,
+static int has_any_bound(__isl_keep isl_map *map,
        enum isl_dim_type type, unsigned pos,
        int (*fn)(__isl_keep isl_basic_map *bmap,
                  enum isl_dim_type type, unsigned pos))
@@ -9058,18 +9058,20 @@ static int has_bound(__isl_keep isl_map *map,
 
 /* Return 1 if the specified dim is involved in any lower bound.
  */
-int isl_set_dim_has_lower_bound(__isl_keep isl_set *set,
+int isl_set_dim_has_any_lower_bound(__isl_keep isl_set *set,
        enum isl_dim_type type, unsigned pos)
 {
-       return has_bound(set, type, pos, &isl_basic_map_dim_has_lower_bound);
+       return has_any_bound(set, type, pos,
+                               &isl_basic_map_dim_has_lower_bound);
 }
 
 /* Return 1 if the specified dim is involved in any upper bound.
  */
-int isl_set_dim_has_upper_bound(__isl_keep isl_set *set,
+int isl_set_dim_has_any_upper_bound(__isl_keep isl_set *set,
        enum isl_dim_type type, unsigned pos)
 {
-       return has_bound(set, type, pos, &isl_basic_map_dim_has_upper_bound);
+       return has_any_bound(set, type, pos,
+                               &isl_basic_map_dim_has_upper_bound);
 }
 
 /* For each of the "n" variables starting at "first", determine