Module: ppl/ppl Branch: floating_point Commit: 25bb41f1134605a60a8c37d1a19ad80e02c51e3d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=25bb41f113460... Author: Fabio Bossi <bossi@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] */