[PPL-devel] [GIT] ppl/ppl(floating_point): Grammar fix in the documentation.

[Fabio Bossi]

Module: ppl/ppl
Branch: floating_point
Commit: 25bb41f1134605a60a8c37d1a19ad80e02c51e3d
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=25bb41f1134605a60a8c37d1a19ad80e02c51e3d

Author: Fabio Bossi <bossi at cs.unipr.it>
Date:   Thu Sep 10 12:25:09 2009 +0200

Grammar fix in the documentation.

---

 src/Floating_Point_Expression.defs.hh |    9 ++++-----
 1 files changed, 4 insertions(+), 5 deletions(-)

diff --git a/src/Floating_Point_Expression.defs.hh b/src/Floating_Point_Expression.defs.hh
index c695878..d0aa016 100644
--- a/src/Floating_Point_Expression.defs.hh
+++ b/src/Floating_Point_Expression.defs.hh
@@ -186,13 +186,12 @@ public:
     \param store The abstract store.
     \param result The linear form that will be modified.
 
-    This method modifies the given linear form <CODE>result</CODE> like
-    a function \f$\iota(l)\rho^{\#}\f$ on a linear form \f$l\f$ in an
-    abstract store \f$\rho^{\#}\f$, such as:
+    This method makes <CODE>result</CODE> become
+    \f$\iota(lf)\rho^{\#}\f$, that is an interval defined as:
     \f[
     \iota\left(i + \sum_{v \in \cV}i_{v}v\right)\rho^{\#}
-    =
-    i \asifp \left(\bigoplus_{v \in \cV}{}_{\mathbf{f}}^{\#}i_{v} \amifp
+    \defeq
+    i \asifp \left(\bigoplus_{v \in \cV}^{\#}i_{v} \amifp
     \rho^{\#}(v)\right)
     \f]
   */