doc: document isl_set_remove_unknown_divs

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

diff --git a/doc/user.pod b/doc/user.pod
index 4dd11e2..ce33015 100644 (file)
--- 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,