add isl_set_universe_like

diff --git a/include/isl_set.h b/include/isl_set.h
index 44ba91e..423604a 100644 (file)
--- a/include/isl_set.h
+++ b/include/isl_set.h
@@ -162,6 +162,7 @@ struct isl_set *isl_set_extend(struct isl_set *base,
 __isl_give isl_set *isl_set_empty(__isl_take isl_dim *dim);
 struct isl_set *isl_set_empty_like(struct isl_set *set);
 __isl_give isl_set *isl_set_universe(__isl_take isl_dim *dim);
+__isl_give isl_set *isl_set_universe_like(__isl_keep isl_set *model);
 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);
 __isl_give isl_set *isl_set_copy(__isl_keep isl_set *set);

diff --git a/isl_map.c b/isl_map.c
index 02f4a24..9ff397b 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -2894,6 +2894,13 @@ struct isl_set *isl_set_universe(struct isl_dim *dim)
        return set;
 }
 
+__isl_give isl_set *isl_set_universe_like(__isl_keep isl_set *model)
+{
+       if (!model)
+               return NULL;
+       return isl_set_universe(isl_dim_copy(model->dim));
+}
+
 struct isl_map *isl_map_dup(struct isl_map *map)
 {
        int i;