add isl_basic_set_is_empty

diff --git a/include/isl_set.h b/include/isl_set.h
index 63bb5e9..7ac0fcd 100644 (file)
--- a/include/isl_set.h
+++ b/include/isl_set.h
@@ -132,6 +132,8 @@ 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_empty(struct isl_basic_set *bset);
+
 struct isl_set *isl_set_alloc(struct isl_ctx *ctx,
                unsigned nparam, unsigned dim, int n, unsigned flags);
 struct isl_set *isl_set_extend(struct isl_set *base,

diff --git a/isl_map.c b/isl_map.c
index 69d4f6f..e05cc54 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -3192,6 +3192,11 @@ int isl_basic_map_is_empty(struct isl_basic_map *bmap)
        return empty;
 }
 
+int isl_basic_set_is_empty(struct isl_basic_set *bset)
+{
+       return isl_basic_map_is_empty((struct isl_basic_map *)bset);
+}
+
 struct isl_map *isl_basic_map_union(
        struct isl_basic_map *bmap1, struct isl_basic_map *bmap2)
 {