X-Git-Url: http://review.tizen.org/git/?a=blobdiff_plain;f=doc%2Fuser.pod;h=c14f283ca4c41b2bcf30db5bbad0976c6574be2f;hb=f8be5328fa0048ea38e180655a387adc27615223;hp=172777149112df137cf50d1890f5c2468214c7a1;hpb=0343f5178b05aa4ebbe8c527b2228308b480027d;p=platform%2Fupstream%2Fisl.git

diff --git a/doc/user.pod b/doc/user.pod
index 1727771..c14f283 100644
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -1625,6 +1625,15 @@ over the points in C<set>, returning the result in C<opt>.
 The return value may be one of C<isl_lp_error>,
 C<isl_lp_ok>, C<isl_lp_unbounded> or C<isl_lp_empty>.
 
+=item * Parametric optimization
+
+	__isl_give isl_pw_aff *isl_set_dim_max(
+		__isl_take isl_set *set, int pos);
+
+Compute the maximum of the given set dimension as a function of the
+parameters, but independently of the other set dimensions.
+For lexicographic optimization, see L<"Lexicographic Optimization">.
+
 =item * Dual
 
 The following functions compute either the set of (rational) coefficient