add isl_set_universe

diff --git a/include/isl_set.h b/include/isl_set.h
index d7d17a3..0884a2e 100644 (file)
--- a/include/isl_set.h
+++ b/include/isl_set.h
@@ -134,6 +134,7 @@ struct isl_set *isl_set_extend(struct isl_set *base,
                unsigned nparam, unsigned dim);
 struct isl_set *isl_set_empty(struct isl_dim *dim);
 struct isl_set *isl_set_empty_like(struct isl_set *set);
+struct isl_set *isl_set_universe(struct isl_dim *dim);
 struct isl_set *isl_set_add(struct isl_set *set, struct isl_basic_set *bset);
 struct isl_set *isl_set_finalize(struct isl_set *set);
 struct isl_set *isl_set_copy(struct isl_set *set);

diff --git a/isl_map.c b/isl_map.c
index 83cc709..07064a1 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -3191,6 +3191,16 @@ struct isl_set *isl_set_empty_like(struct isl_set *model)
        return isl_set_empty(isl_dim_copy(model->dim));
 }
 
+struct isl_set *isl_set_universe(struct isl_dim *dim)
+{
+       struct isl_set *set;
+       if (!dim)
+               return NULL;
+       set = isl_set_alloc_dim(isl_dim_copy(dim), 1, ISL_MAP_DISJOINT);
+       set = isl_set_add(set, isl_basic_set_universe(dim));
+       return set;
+}
+
 struct isl_map *isl_map_dup(struct isl_map *map)
 {
        int i;