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

Author: Fabio Bossi bossi@cs.unipr.it Date: Thu Sep 10 15:08:37 2009 +0200

Fixed another small documentation inconsistency.

---

src/Variable_Floating_Point_Expression.defs.hh | 6 ++---- 1 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/src/Variable_Floating_Point_Expression.defs.hh b/src/Variable_Floating_Point_Expression.defs.hh index 3926033..2efcbc2 100644 --- a/src/Variable_Floating_Point_Expression.defs.hh +++ b/src/Variable_Floating_Point_Expression.defs.hh @@ -62,10 +62,8 @@ namespace Parma_Polyhedra_Library { we construct the interval linear form \f$\linexpr{v} \left \langle \rho^{#}, \rho^{#}_l \right \rangle\f$ as - \f$\rho^{#}_l(v)\f$ if it is defined; otherwise we construct it as: - \f[ - \linexpr{v}\rho^{#} = [-1;1]v. - \f] + \f$\rho^{#}_l(v)\f$ if it is defined; otherwise we construct it as + \f$[-1;1]v\f$. */ template <typename FP_Interval_Type, typename FP_Format> class Variable_Floating_Point_Expression