add isl_basic_set_is_universe

diff --git a/include/isl_set.h b/include/isl_set.h
index 80660e3..e836534 100644 (file)
--- a/include/isl_set.h
+++ b/include/isl_set.h
@@ -143,6 +143,7 @@ struct isl_set *isl_basic_set_union(
 int isl_basic_set_compare_at(struct isl_basic_set *bset1,
        struct isl_basic_set *bset2, int pos);
 
+int isl_basic_set_is_universe(struct isl_basic_set *bset);
 int isl_basic_set_fast_is_empty(struct isl_basic_set *bset);
 int isl_basic_set_is_empty(struct isl_basic_set *bset);
 

diff --git a/isl_map.c b/isl_map.c
index 285e975..d3ace48 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -3471,6 +3471,13 @@ int isl_basic_map_is_universe(struct isl_basic_map *bmap)
        return bmap->n_eq == 0 && bmap->n_ineq == 0;
 }
 
+int isl_basic_set_is_universe(struct isl_basic_set *bset)
+{
+       if (!bset)
+               return -1;
+       return bset->n_eq == 0 && bset->n_ineq == 0;
+}
+
 int isl_basic_map_is_empty(struct isl_basic_map *bmap)
 {
        struct isl_basic_set *bset = NULL;