From 66fa6c9d4fb3f665b59b969c82a1fd6a7ddf00f4 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Mon, 13 Apr 2020 11:50:20 +0200 Subject: [PATCH] rename isl_map_check_equal_tuples to isl_map_check_transformation The original name was too similar to that of isl_space_check_equal_tuples, which has a different meaning. Signed-off-by: Sven Verdoolaege --- isl_map.c | 7 ++++--- isl_map_private.h | 2 +- isl_transitive_closure.c | 2 +- 3 files changed, 6 insertions(+), 5 deletions(-) diff --git a/isl_map.c b/isl_map.c index c77fe5ec..c1303e22 100644 --- a/isl_map.c +++ b/isl_map.c @@ -8510,9 +8510,10 @@ error: return NULL; } -/* Check that domain and range of "map" are the same. +/* Check that "map" is a transformation, i.e., + * that it relates elements from the same space. */ -isl_stat isl_map_check_equal_tuples(__isl_keep isl_map *map) +isl_stat isl_map_check_transformation(__isl_keep isl_map *map) { isl_space *space; isl_bool equal; @@ -8613,7 +8614,7 @@ error: */ __isl_give isl_map *isl_map_deltas_map(__isl_take isl_map *map) { - if (isl_map_check_equal_tuples(map) < 0) + if (isl_map_check_transformation(map) < 0) return isl_map_free(map); return isl_map_transform(map, &isl_space_range_map, diff --git a/isl_map_private.h b/isl_map_private.h index 3f734866..be754a6b 100644 --- a/isl_map_private.h +++ b/isl_map_private.h @@ -551,7 +551,7 @@ int isl_basic_set_count_upto(__isl_keep isl_basic_set *bset, isl_int max, isl_int *count); int isl_set_count_upto(__isl_keep isl_set *set, isl_int max, isl_int *count); -isl_stat isl_map_check_equal_tuples(__isl_keep isl_map *map); +isl_stat isl_map_check_transformation(__isl_keep isl_map *map); isl_stat isl_basic_set_check_equal_space(__isl_keep isl_basic_set *bset1, __isl_keep isl_basic_set *bset2); isl_stat isl_basic_map_check_equal_space(__isl_keep isl_basic_map *bmap1, diff --git a/isl_transitive_closure.c b/isl_transitive_closure.c index c25edb9c..f915d51c 100644 --- a/isl_transitive_closure.c +++ b/isl_transitive_closure.c @@ -2023,7 +2023,7 @@ static __isl_give isl_map *map_power(__isl_take isl_map *map, if (exact) *exact = isl_bool_true; - if (isl_map_check_equal_tuples(map) < 0) + if (isl_map_check_transformation(map) < 0) return isl_map_free(map); app = construct_power(map, exact, project); -- 2.11.4.GIT