From 5461c519917ef129d76042aba000a47164da3b37 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Wed, 4 Jul 2012 13:10:58 +0200 Subject: [PATCH] doc: document isl_set_remove_unknown_divs Signed-off-by: Sven Verdoolaege --- doc/user.pod | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/doc/user.pod b/doc/user.pod index 4dd11e2..ce33015 100644 --- a/doc/user.pod +++ b/doc/user.pod @@ -1407,7 +1407,8 @@ using the following functions, which compute an overapproximation. __isl_take isl_map *map); It is also possible to only remove those divs that are defined -in terms of a given range of dimensions. +in terms of a given range of dimensions or only those for which +no explicit representation is known. __isl_give isl_basic_set * isl_basic_set_remove_divs_involving_dims( @@ -1421,6 +1422,9 @@ in terms of a given range of dimensions. __isl_take isl_map *map, enum isl_dim_type type, unsigned first, unsigned n); + __isl_give isl_set *isl_set_remove_unknown_divs( + __isl_take isl_set *set); + To iterate over all the sets or maps in a union set or map, use int isl_union_set_foreach_set(__isl_keep isl_union_set *uset, -- 2.7.4