From c9657f3f70f6b17c085ff5cb2ce5fd60e15e6c96 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Tue, 23 Feb 2010 15:52:27 +0100 Subject: [PATCH] add isl_set_fast_is_universe --- doc/user.pod | 1 + include/isl_set.h | 1 + isl_map.c | 5 +++++ 3 files changed, 7 insertions(+) diff --git a/doc/user.pod b/doc/user.pod index c77430bf..8666089d 100644 --- a/doc/user.pod +++ b/doc/user.pod @@ -730,6 +730,7 @@ is already known to be empty. int isl_basic_set_is_universe(__isl_keep isl_basic_set *bset); int isl_basic_map_is_universe(__isl_keep isl_basic_map *bmap); + int isl_set_fast_is_universe(__isl_keep isl_set *set); =back diff --git a/include/isl_set.h b/include/isl_set.h index 1884c4d4..384a359e 100644 --- a/include/isl_set.h +++ b/include/isl_set.h @@ -255,6 +255,7 @@ struct isl_set *isl_set_remove_divs(struct isl_set *set); void isl_set_dump(__isl_keep isl_set *set, FILE *out, int indent); struct isl_set *isl_set_swap_vars(struct isl_set *set, unsigned n); int isl_set_fast_is_empty(__isl_keep isl_set *set); +int isl_set_fast_is_universe(__isl_keep isl_set *set); int isl_set_is_empty(__isl_keep isl_set *set); int isl_set_is_subset(__isl_keep isl_set *set1, __isl_keep isl_set *set2); int isl_set_is_strict_subset(__isl_keep isl_set *set1, __isl_keep isl_set *set2); diff --git a/isl_map.c b/isl_map.c index 01f17584..2de82a22 100644 --- a/isl_map.c +++ b/isl_map.c @@ -4807,6 +4807,11 @@ int isl_map_fast_is_universe(__isl_keep isl_map *map) return map->n == 1 && isl_basic_map_is_universe(map->p[0]); } +int isl_set_fast_is_universe(__isl_keep isl_set *set) +{ + return isl_map_fast_is_universe((isl_map *) set); +} + int isl_basic_map_is_empty(struct isl_basic_map *bmap) { struct isl_basic_set *bset = NULL; -- 2.11.4.GIT