add isl_set_fast_is_empty

diff --git a/include/isl_set.h b/include/isl_set.h
index d4d85b0..fc346b4 100644 (file)
--- 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 12842ee..e60c16c 100644 (file)
--- 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);