add isl_basic_set_is_universe

2 files changed, 8 insertions, 0 deletions

diff --git a/include/isl_set.h b/include/isl_set.h
index 80660e3b..e8365341 100644
--- 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 285e975b..d3ace481 100644
--- 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;