From 05b1a0b5c6d8e897998b2c91430ff8d4b103cf7c Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Sun, 17 Jan 2010 20:50:31 +0100 Subject: [PATCH] add isl_set_fast_is_empty --- include/isl_set.h | 1 + isl_map.c | 5 +++++ 2 files changed, 6 insertions(+) diff --git a/include/isl_set.h b/include/isl_set.h index d4d85b03..fc346b48 100644 --- a/include/isl_set.h +++ b/include/isl_set.h @@ -235,6 +235,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_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 12842eee..e60c16c5 100644 --- a/isl_map.c +++ b/isl_map.c @@ -4267,6 +4267,11 @@ int isl_map_fast_is_empty(struct isl_map *map) return map->n == 0; } +int isl_set_fast_is_empty(struct isl_set *set) +{ + return set->n == 0; +} + int isl_set_is_empty(struct isl_set *set) { return isl_map_is_empty((struct isl_map *)set); -- 2.11.4.GIT