add isl_map_{lexmin,lexmax}_pw_multi_aff

[platform/upstream/isl.git] / doc / user.pod

diff --git a/doc/user.pod b/doc/user.pod
index ce33015..46e5a4c 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -1424,6 +1424,8 @@ no explicit representation is known.
 
        __isl_give isl_set *isl_set_remove_unknown_divs(
                __isl_take isl_set *set);
+       __isl_give isl_map *isl_map_remove_unknown_divs(
+               __isl_take isl_map *map);
 
 To iterate over all the sets or maps in a union set or map, use
 
@@ -2857,6 +2859,10 @@ returning a basic set or relation.
                __isl_take isl_basic_map *bmap,
                __isl_take isl_basic_set *dom,
                __isl_give isl_set **empty);
+       __isl_give isl_pw_multi_aff *isl_map_lexmin_pw_multi_aff(
+               __isl_take isl_map *map);
+       __isl_give isl_pw_multi_aff *isl_map_lexmax_pw_multi_aff(
+               __isl_take isl_map *map);
 
 =head2 Lists