Module: ppl/ppl Branch: master Commit: 521ce21afd82500e219f795ee8acd0c5a87cc2d8 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=521ce21afd825... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Mon Feb 27 10:25:56 2012 +0100 Fixed documentation for linearize and added \relates directive. --- src/linearize.hh | 4 +++- 1 files changed, 3 insertions(+), 1 deletions(-) diff --git a/src/linearize.hh b/src/linearize.hh index e5ac48a..ec24bb5 100644 --- a/src/linearize.hh +++ b/src/linearize.hh @@ -643,8 +643,10 @@ cast_linearize(const Cast_Operator<Target>& cast_expr, return !result.overflows(); } -//! Linearizes a floating point expression. /*! \brief + Linearizes a floating point expression. + + \relates Concrete_Expression Makes \p result become a linear form that correctly approximates the value of \p expr in the given composite abstract store.