From 595ed948dbaa30e8e1c16a926669621e1ec6d3f9 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Wed, 4 Jul 2012 12:17:43 +0200 Subject: [PATCH] doc: document isl_set_remove_divs_involving_dims This function is used by CLooG. Signed-off-by: Sven Verdoolaege --- doc/user.pod | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/doc/user.pod b/doc/user.pod index e6ed8d2..4e414c0 100644 --- a/doc/user.pod +++ b/doc/user.pod @@ -1406,6 +1406,13 @@ using the following functions, which compute an overapproximation. __isl_give isl_map *isl_map_remove_divs( __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. + + __isl_give isl_set *isl_set_remove_divs_involving_dims( + __isl_take isl_set *set, enum isl_dim_type type, + unsigned first, unsigned n); + 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