[GIT] ppl/ppl(master): Fixed documentation for linearize and added \relates directive.

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.
participants (1)
-
Enea Zaffanella