Module: ppl/ppl Branch: floating_point Commit: e9f9c76f9d59ebfaa67b5f26ff4330eb2068dadf URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e9f9c76f9d59e... Author: Fabio Bossi <bossi@cs.unipr.it> Date: Thu Sep 10 14:33:20 2009 +0200 Other small corrections to the documentation. --- src/Floating_Point_Expression.defs.hh | 2 +- src/Opposite_Floating_Point_Expression.defs.hh | 2 ++ 2 files changed, 3 insertions(+), 1 deletions(-) diff --git a/src/Floating_Point_Expression.defs.hh b/src/Floating_Point_Expression.defs.hh index d0aa016..71b77ad 100644 --- a/src/Floating_Point_Expression.defs.hh +++ b/src/Floating_Point_Expression.defs.hh @@ -191,7 +191,7 @@ public: \f[ \iota\left(i + \sum_{v \in \cV}i_{v}v\right)\rho^{\#} \defeq - i \asifp \left(\bigoplus_{v \in \cV}^{\#}i_{v} \amifp + i \asifp \left(\bigoplus_{v \in \cV}{}^{\#}i_{v} \amifp \rho^{\#}(v)\right) \f] */ diff --git a/src/Opposite_Floating_Point_Expression.defs.hh b/src/Opposite_Floating_Point_Expression.defs.hh index 67dde22..486ed4a 100644 --- a/src/Opposite_Floating_Point_Expression.defs.hh +++ b/src/Opposite_Floating_Point_Expression.defs.hh @@ -77,7 +77,9 @@ namespace Parma_Polyhedra_Library { \linexpr{\ominus e} \left \langle \rho^{\#}, \rho^{\#}_l \right \rangle = \adlf + \left( \linexpr{e} \left \langle \rho^{\#}, \rho^{\#}_l \right \rangle. + \right) \f] */ template <typename FP_Interval_Type, typename FP_Format>