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] */