add isl_set_fast_is_universe

diff --git a/doc/user.pod b/doc/user.pod
index c77430b..8666089 100644 (file)
--- 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 1884c4d..384a359 100644 (file)
--- 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 01f1758..2de82a2 100644 (file)
--- 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;