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

Author: Fabio Bossi bossi@cs.unipr.it Date: Wed Sep 9 10:26:32 2009 +0200

Use new linearization macro.

---

doc/definitions.dox | 3 ++- 1 files changed, 2 insertions(+), 1 deletions(-)

diff --git a/doc/definitions.dox b/doc/definitions.dox index 4f241cd..07cbebd 100644 --- a/doc/definitions.dox +++ b/doc/definitions.dox @@ -2711,7 +2711,8 @@ point expression classes for more information.

The linearization of a floating point expression \f$e\f$ in the composite abstract store \f$\left \langle \rho, \rho_l \right \rangle\f$ will be denoted -by \f$\f$. There are two ways a linearization attempt can fail: +by \f$\linexpr{e} \left (\rho, \rho_l \right )\f$. There are two ways a +linearization attempt can fail: - whenever an interval boundary overflows to \f$+\infty\f$ or \f$-\infty\f$, and - when we try to divide by an interval that contains \f$0\f$.