From 3469264fefed7c1b70b95dc974878115bbd00661 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Mon, 1 Oct 2012 10:52:00 +0200 Subject: [PATCH] add isl_basic_set_from_params Signed-off-by: Sven Verdoolaege --- doc/user.pod | 4 +++- include/isl/set.h | 2 ++ isl_map.c | 12 ++++++++++++ 3 files changed, 17 insertions(+), 1 deletion(-) diff --git a/doc/user.pod b/doc/user.pod index 737f6de..6049a1c 100644 --- a/doc/user.pod +++ b/doc/user.pod @@ -1280,9 +1280,11 @@ space. __isl_give isl_map *isl_map_from_union_map( __isl_take isl_union_map *umap); -A zero-dimensional set can be constructed on a given parameter domain +A zero-dimensional (basic) set can be constructed on a given parameter domain using the following function. + __isl_give isl_basic_set *isl_basic_set_from_params( + __isl_take isl_basic_set *bset); __isl_give isl_set *isl_set_from_params( __isl_take isl_set *set); diff --git a/include/isl/set.h b/include/isl/set.h index 6552a8d..8390ae3 100644 --- a/include/isl/set.h +++ b/include/isl/set.h @@ -224,6 +224,8 @@ int isl_set_follows_at(__isl_keep isl_set *set1, __isl_keep isl_set *set2, int pos); __isl_give isl_basic_set *isl_basic_set_params(__isl_take isl_basic_set *bset); +__isl_give isl_basic_set *isl_basic_set_from_params( + __isl_take isl_basic_set *bset); __isl_give isl_set *isl_set_params(__isl_take isl_set *set); __isl_give isl_set *isl_set_from_params(__isl_take isl_set *set); diff --git a/isl_map.c b/isl_map.c index 894f2bd..4a49d41 100644 --- a/isl_map.c +++ b/isl_map.c @@ -4519,6 +4519,18 @@ __isl_give isl_basic_set *isl_basic_set_params(__isl_take isl_basic_set *bset) return bset; } +/* Construct a zero-dimensional basic set with the given parameter domain. + */ +__isl_give isl_basic_set *isl_basic_set_from_params( + __isl_take isl_basic_set *bset) +{ + isl_space *space; + space = isl_basic_set_get_space(bset); + space = isl_space_set_from_params(space); + bset = isl_basic_set_reset_space(bset, space); + return bset; +} + /* Compute the parameter domain of the given set. */ __isl_give isl_set *isl_set_params(__isl_take isl_set *set) -- 2.7.4