From a88c56460aab57fa179cb3b1746a5153c3686ba7 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Sat, 10 Oct 2009 15:07:02 +0200 Subject: [PATCH] add isl_map_fast_is_universe --- include/isl_map.h | 1 + isl_map.c | 8 ++++++++ 2 files changed, 9 insertions(+) diff --git a/include/isl_map.h b/include/isl_map.h index 1458200..0c274a4 100644 --- a/include/isl_map.h +++ b/include/isl_map.h @@ -290,6 +290,7 @@ struct isl_set *isl_set_from_map(struct isl_map *map); __isl_give isl_basic_map *isl_map_sample(__isl_take isl_map *map); int isl_map_fast_is_empty(__isl_keep isl_map *map); +int isl_map_fast_is_universe(__isl_keep isl_map *map); int isl_map_is_empty(__isl_keep isl_map *map); int isl_map_is_subset(__isl_keep isl_map *map1, __isl_keep isl_map *map2); int isl_map_is_strict_subset(__isl_keep isl_map *map1, __isl_keep isl_map *map2); diff --git a/isl_map.c b/isl_map.c index eb93c36..57b9ad9 100644 --- a/isl_map.c +++ b/isl_map.c @@ -4152,6 +4152,14 @@ int isl_basic_set_is_universe(struct isl_basic_set *bset) return bset->n_eq == 0 && bset->n_ineq == 0; } +int isl_map_fast_is_universe(__isl_keep isl_map *map) +{ + if (!map) + return -1; + + return map->n == 1 && isl_basic_map_is_universe(map->p[0]); +} + int isl_basic_map_is_empty(struct isl_basic_map *bmap) { struct isl_basic_set *bset = NULL; -- 2.7.4