From c4793905899a853709f06b11dc8ac33da056f63e Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Thu, 19 Mar 2009 10:22:38 +0100 Subject: [PATCH] add isl_map_universe --- include/isl_map.h | 1 + isl_map.c | 10 ++++++++++ 2 files changed, 11 insertions(+) diff --git a/include/isl_map.h b/include/isl_map.h index 4c12915..2a6b4e5 100644 --- a/include/isl_map.h +++ b/include/isl_map.h @@ -202,6 +202,7 @@ int isl_basic_map_is_strict_subset(struct isl_basic_map *bmap1, struct isl_map *isl_map_alloc(struct isl_ctx *ctx, unsigned nparam, unsigned in, unsigned out, int n, unsigned flags); +struct isl_map *isl_map_universe(struct isl_dim *dim); struct isl_map *isl_map_empty(struct isl_dim *dim); struct isl_map *isl_map_empty_like(struct isl_map *model); struct isl_map *isl_map_empty_like_basic_map(struct isl_basic_map *model); diff --git a/isl_map.c b/isl_map.c index 074f31d..f0ee231 100644 --- a/isl_map.c +++ b/isl_map.c @@ -2639,6 +2639,16 @@ struct isl_set *isl_set_empty_like(struct isl_set *model) return isl_set_empty(isl_dim_copy(model->dim)); } +struct isl_map *isl_map_universe(struct isl_dim *dim) +{ + struct isl_map *map; + if (!dim) + return NULL; + map = isl_map_alloc_dim(isl_dim_copy(dim), 1, ISL_MAP_DISJOINT); + map = isl_map_add(map, isl_basic_map_universe(dim)); + return map; +} + struct isl_set *isl_set_universe(struct isl_dim *dim) { struct isl_set *set; -- 2.7.4