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