September 2009 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(floating_point): Fixed another small error in the documentation.
by Fabio Bossi 10 Sep '09

10 Sep '09

Module: ppl/ppl Branch: floating_point Commit: e535e5b530fb13cadf33897a31c12c1500e65938 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e535e5b530fb… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 10 14:41:11 2009 +0200 Fixed another small error in the documentation. --- src/Division_Floating_Point_Expression.defs.hh | 3 ++- 1 files changed, 2 insertions(+), 1 deletions(-) diff --git a/src/Division_Floating_Point_Expression.defs.hh b/src/Division_Floating_Point_Expression.defs.hh index ee50408..c251add 100644 --- a/src/Division_Floating_Point_Expression.defs.hh +++ b/src/Division_Floating_Point_Expression.defs.hh @@ -110,7 +110,8 @@ namespace Parma_Polyhedra_Library { \left \langle \rho^{\#}, \rho^{\#}_l \right \rangle = \linexpr{e_{1} \oslash \iota\left(\linexpr{e_{2}} - \left \langle \rho^{\#}, \rho^{\#}_l \right \rangle \right)\rho^{\#}}, + \left \langle \rho^{\#}, \rho^{\#}_l \right \rangle \right)\rho^{\#}} + \left \langle \rho^{\#}, \rho^{\#}_l \right \rangle, \f] where \f$\varepsilon_{\mathbf{f}}(l)\f$ is the linear form computed by calling method <CODE>Floating_Point_Expression::relative_error</CODE>

1 0

[GIT] ppl/ppl(floating_point): Other small corrections to the documentation .
by Fabio Bossi 10 Sep '09

10 Sep '09

Module: ppl/ppl Branch: floating_point Commit: e9f9c76f9d59ebfaa67b5f26ff4330eb2068dadf URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e9f9c76f9d59… Author: Fabio Bossi <bossi(a)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>

1 0

[GIT] ppl/ppl(floating_point): Fixed one small typo.
by Fabio Bossi 10 Sep '09

10 Sep '09

Module: ppl/ppl Branch: floating_point Commit: c5642e6135052d17a6588f221f528a331f3542cf URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c5642e613505… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 10 14:29:35 2009 +0200 Fixed one small typo. --- ...ultiplication_Floating_Point_Expression.defs.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/Multiplication_Floating_Point_Expression.defs.hh b/src/Multiplication_Floating_Point_Expression.defs.hh index 0b6aa3e..7509d3f 100644 --- a/src/Multiplication_Floating_Point_Expression.defs.hh +++ b/src/Multiplication_Floating_Point_Expression.defs.hh @@ -98,7 +98,7 @@ namespace Parma_Polyhedra_Library { \varepsilon_{\mathbf{f}}\left(\linexpr{e_{2}} \left \langle \rho^{\#}, \rho^{\#}_l \right \rangle \right)\right) \aslf - mf_{\mathbf{f}}[-1;1], + mf_{\mathbf{f}}[-1;1]. \f]. Given an expression \f$e_{1} \otimes [a;b]\f$ and a composite

1 0

[GIT] ppl/ppl(floating_point): Remove all references to floating point format f.
by Fabio Bossi 10 Sep '09

10 Sep '09

Module: ppl/ppl Branch: floating_point Commit: b9bc246da10ae1d8e19a3ed0f9c729761ee4994d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b9bc246da10a… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 10 14:28:46 2009 +0200 Remove all references to floating point format f. --- doc/ppl.sty | 16 ++++++++-------- 1 files changed, 8 insertions(+), 8 deletions(-) diff --git a/doc/ppl.sty b/doc/ppl.sty index 7b3a550..13612ec 100644 --- a/doc/ppl.sty +++ b/doc/ppl.sty @@ -181,17 +181,17 @@ % Interval floating point arithmetics -\newcommand*{\asifp}{\oplus^{\#}_{\mathbf{f}}} -\newcommand*{\adifp}{\ominus^{\#}_{\mathbf{f}}} -\newcommand*{\adivifp}{\oslash^{\#}_{\mathbf{f}}} -\newcommand*{\amifp}{\otimes^{\#}_{\mathbf{f}}} +\newcommand*{\asifp}{\oplus^{\#}} +\newcommand*{\adifp}{\ominus^{\#}} +\newcommand*{\adivifp}{\oslash^{\#}} +\newcommand*{\amifp}{\otimes^{\#}} % Linear form arithmetics -\newcommand*{\aslf}{\boxplus^{\#}_{\mathbf{f}}} -\newcommand*{\adlf}{\boxminus^{\#}_{\mathbf{f}}} -\newcommand*{\adivlf}{\boxslash^{\#}_{\mathbf{f}}} -\newcommand*{\amlf}{\boxtimes^{\#}_{\mathbf{f}}} +\newcommand*{\aslf}{\boxplus^{\#}} +\newcommand*{\adlf}{\boxminus^{\#}} +\newcommand*{\adivlf}{\boxslash^{\#}} +\newcommand*{\amlf}{\boxtimes^{\#}} \def\llexpr{(\kern-.1667em|} \def\rlexpr{|\kern-.1667em)} \newcommand*{\linexpr}[1]{\llexpr #1 \rlexpr}

1 0

[GIT] ppl/ppl(floating_point): More additions and corrections to the documentation.
by Fabio Bossi 10 Sep '09

10 Sep '09

Module: ppl/ppl Branch: floating_point Commit: 49fe8476c87649b90e3780631bcdfb72486b03c8 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=49fe8476c876… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 10 14:18:14 2009 +0200 More additions and corrections to the documentation. --- src/Difference_Floating_Point_Expression.defs.hh | 3 +- src/Opposite_Floating_Point_Expression.defs.hh | 76 +++++++++++++++++----- src/Sum_Floating_Point_Expression.defs.hh | 7 ++- 3 files changed, 67 insertions(+), 19 deletions(-) diff --git a/src/Difference_Floating_Point_Expression.defs.hh b/src/Difference_Floating_Point_Expression.defs.hh index 29c923b..473d2d7 100644 --- a/src/Difference_Floating_Point_Expression.defs.hh +++ b/src/Difference_Floating_Point_Expression.defs.hh @@ -86,7 +86,8 @@ namespace Parma_Polyhedra_Library { follows: \f[ \linexpr{e_{1} \ominus e_{2}} - \left \langle \rho^{\#}, \rho^{\#}_l \right \rangle = + \left \langle \rho^{\#}, \rho^{\#}_l \right \rangle + = \linexpr{e_{1}}\left \langle \rho^{\#}, \rho^{\#}_l \right \rangle \adlf \linexpr{e_{2}}\left \langle \rho^{\#}, \rho^{\#}_l \right \rangle diff --git a/src/Opposite_Floating_Point_Expression.defs.hh b/src/Opposite_Floating_Point_Expression.defs.hh index 16245bf..67dde22 100644 --- a/src/Opposite_Floating_Point_Expression.defs.hh +++ b/src/Opposite_Floating_Point_Expression.defs.hh @@ -45,13 +45,41 @@ namespace Parma_Polyhedra_Library { /*! \brief A generic Opposite Floating Point Expression. + \ingroup PPL_CXX_interface + \par Template type parameters + - The class template type parameter \p FP_Interval_Type represents the type of the intervals used in the abstract domain. - - The class template type parameter \p FP_Format represents the format - of the floating point variable used in the concrete domain. - */ + - The class template type parameter \p FP_Format represents the floating + point format used in the concrete domain. + + \par Linearization of opposite floating-point expressions + + Let \f$i + \sum_{v \in \cV}i_{v}v \f$ be an interval linear form and + let \f$\adlf\f$ be a sound unary operator on linear forms such that: + + \f[ + \adlf + \left(i + \sum_{v \in \cV}i_{v}v\right) + = + \left(\adifp i\right) + + \sum_{v \in \cV}\left(\adifp i_{v} \right)v, + \f] + + Given a floating point expression \f$\ominus e\f$ and a composite + abstract store \f$\left \langle \rho^{\#}, \rho^{\#}_l \right \rangle\f$, + we construct the interval linear form + \f$\linexpr{\ominus e}\left \langle \rho^{\#}, \rho^{\#}_l \right \rangle\f$ + as follows: + \f[ + \linexpr{\ominus e} \left \langle \rho^{\#}, \rho^{\#}_l \right \rangle + = + \adlf + \linexpr{e} \left \langle \rho^{\#}, \rho^{\#}_l \right \rangle. + \f] +*/ template <typename FP_Interval_Type, typename FP_Format> class Opposite_Floating_Point_Expression : public Floating_Point_Expression<FP_Interval_Type, FP_Format> { @@ -74,12 +102,16 @@ public: Floating_Point_Expression<FP_Interval_Type, FP_Format>:: FP_Interval_Abstract_Store FP_Interval_Abstract_Store; + /* \brief + Alias for the std::map<dimension_type, FP_Linear_Form> from + Floating_Point_Expression. + */ typedef typename Floating_Point_Expression<FP_Interval_Type, FP_Format>:: FP_Linear_Form_Abstract_Store FP_Linear_Form_Abstract_Store; /* \brief - Alias for the P_Interval_Type::boundary_type from + Alias for the FP_Interval_Type::boundary_type from Floating_Point_Expression. */ typedef typename @@ -87,7 +119,7 @@ public: boundary_type; /* \brief - Alias for the P_Interval_Type::info_type from Floating_Point_Expression. + Alias for the FP_Interval_Type::info_type from Floating_Point_Expression. */ typedef typename Floating_Point_Expression<FP_Interval_Type, FP_Format>::info_type info_type; @@ -95,9 +127,8 @@ public: //! \name Constructors and Destructor //@{ /*! \brief - Constructor with a parameter: builds the opposite floating point - expression from \p op corresponding to the floating point expression - -\p op. + Constructor with one parameter: builds the opposite floating point + expression \f$\ominus\f$ \p op. */ explicit Opposite_Floating_Point_Expression( Floating_Point_Expression<FP_Interval_Type, FP_Format>* const op); @@ -107,14 +138,27 @@ public: //@} // Constructors and Destructor - /* \brief - Returns a linear form in the abstract store \p store that simply - represents the opposite of the operand linearization. + // FIXME: Modify documentation when exceptions are fixed + /*! \brief + Linearizes the expression in a given astract store. + + Makes \p result become the linearization of \p *this in the given + composite abstract store. + + \param int_store The interval abstract store. + \param lf_store The linear form abstract store. + \param result The modified linear form. - \param int_store The interval abstract store. - \param lf_store The linear form abstract store. - \param result The modified linear form. + \exception Parma_Polyhedra_Library::Linearization_Failed + Thrown if linearization fails for some reason. + Note that all variables occuring in the expression represented + by \p operand MUST have an associated value in \p int_store. + If this precondition is not met, calling the method + causes an undefined behavior. + + See the class description for a detailed explanation of how \p result + is computed. */ void linearize(const FP_Interval_Abstract_Store& int_store, const FP_Linear_Form_Abstract_Store& lf_store, @@ -127,7 +171,7 @@ private: #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS /*! \brief - Copy constructor: temporary inhibited. + Inhibited copy constructor. */ #endif // PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS Opposite_Floating_Point_Expression( @@ -135,7 +179,7 @@ private: #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS /*! \brief - Assignment operator: temporary inhibited. + Inhibited assignment operator. */ #endif // PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS Opposite_Floating_Point_Expression& operator=( diff --git a/src/Sum_Floating_Point_Expression.defs.hh b/src/Sum_Floating_Point_Expression.defs.hh index 9ae586e..22724ff 100644 --- a/src/Sum_Floating_Point_Expression.defs.hh +++ b/src/Sum_Floating_Point_Expression.defs.hh @@ -72,10 +72,13 @@ namespace Parma_Polyhedra_Library { Given an expression \f$e_{1} \oplus e_{2}\f$ and a composite abstract store \f$\left \langle \rho^{\#}, \rho^{\#}_l \right \rangle\f$, we construct the interval linear form - \f$\linexpr{e_{1} \oplus e_{2}}\left ( \rho^{\#}, \rho^{\#}_l \right )\f$ + \f$\linexpr{e_{1} \oplus e_{2}} + \left \langle \rho^{\#}, \rho^{\#}_l \right \rangle\f$ as follows: \f[ - \linexpr{e_{1} \oplus e_{2}}\left ( \rho^{\#}, \rho^{\#}_l \right ) = + \linexpr{e_{1} \oplus e_{2}} + \left \langle \rho^{\#}, \rho^{\#}_l \right \rangle + = \linexpr{e_{1}}\left \langle \rho^{\#}, \rho^{\#}_l \right \rangle \aslf \linexpr{e_{2}}\left \langle \rho^{\#}, \rho^{\#}_l \right \rangle

1 0

[GIT] ppl/ppl(floating_point): Grammar fix in the documentation.
by Fabio Bossi 10 Sep '09

10 Sep '09

Module: ppl/ppl Branch: floating_point Commit: 25bb41f1134605a60a8c37d1a19ad80e02c51e3d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=25bb41f11346… Author: Fabio Bossi <bossi(a)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] */

1 0

[GIT] ppl/ppl(floating_point): New commits
by Roberto Bagnara 10 Sep '09

10 Sep '09

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=61e9682521ae… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 10 12:15:14 2009 +0200 Fixed one small error. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc2e838dcecf… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 10 12:06:05 2009 +0200 Fixed another inconsistency in the documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f90f4982a465… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 10 12:02:54 2009 +0200 Fixed conflicts. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5ffba415ba26… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 10 11:49:44 2009 +0200 Fixed an inconsistency with the rest of the documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b975207fee47… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 10 11:38:06 2009 +0200 Fixed a few errors. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=665f8e9f3e12… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 10 11:27:10 2009 +0200 Added missing \brief marker. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=963be409b51e… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 10 11:16:06 2009 +0200 Use \otimes only in math environment. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aed91f8a35de… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 10 11:12:22 2009 +0200 Revised and corrected the whole documentation.

1 0

[GIT] ppl/ppl(floating_point): Moved linearform1.cc into tests/Polyhedron.
by Roberto Amadini 10 Sep '09

10 Sep '09

Module: ppl/ppl Branch: floating_point Commit: 98244bb14df54a5e5f0d3288840fb8d796ed3dfc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=98244bb14df5… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Thu Sep 10 11:55:12 2009 +0200 Moved linearform1.cc into tests/Polyhedron. --- tests/Floating_Point_Expression/Makefile.am | 4 +- tests/Floating_Point_Expression/linearform1.cc | 291 ------------------------ tests/Polyhedron/linearform1.cc | 92 ++++++++ 3 files changed, 93 insertions(+), 294 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=98244bb1…

1 0

[GIT] ppl/ppl(floating_point): Updated intervalize documentation;
by Fabio Biselli 10 Sep '09

10 Sep '09

Module: ppl/ppl Branch: floating_point Commit: 7de79be86951bff882f83eea17bcfcfbcd7a52b5 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7de79be86951… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Thu Sep 10 12:37:26 2009 +0200 Updated intervalize documentation; Updated Opposite_Floating_Point_Expression documentation; --- src/Floating_Point_Expression.defs.hh | 16 +++++++++++++--- src/Opposite_Floating_Point_Expression.defs.hh | 16 +++++++++++----- 2 files changed, 24 insertions(+), 8 deletions(-) diff --git a/src/Floating_Point_Expression.defs.hh b/src/Floating_Point_Expression.defs.hh index f8c8df3..16ca411 100644 --- a/src/Floating_Point_Expression.defs.hh +++ b/src/Floating_Point_Expression.defs.hh @@ -52,7 +52,7 @@ struct IEEE754_Double { A floating point expression on a given format. This class represents a concrete - <EM>floating point expression</EM> of format \f$$\mathbf{f}$\f$, this + <EM>floating point expression</EM> of format \f$$\mathbf{f}$\f$, this includes constants, variables of format \f$$\mathbf{f}$\f$, binary and unary arithmetic operators. @@ -114,7 +114,7 @@ public: \param int_store The interval abstract store. \param lf_store The linear form abstract store. \param result The modified linear form. - + All variables occuring in the floating point expression MUST have an associated interval in \p int_store. If this precondition is not met, calling the method causes an @@ -162,7 +162,7 @@ public: (\textrm{max}(|a|,|b|) \amifp [-2^{-\textrm{p}};2^{-\textrm{p}}]) + \sum_{v \in \cV}(\textrm{max}(|a_{v}|,|b_{v}|) - \amifp + \amifp [-2^{-\textrm{p}};2^{-\textrm{p}}])v \f] where p is the fraction size in bits for the format \f$\mathbf{f}\f$. @@ -176,6 +176,16 @@ public: \param lf The linear form to aproximate. \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: + \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 + \rho^{\#}(v)\right) + \f] */ static void intervalize(const FP_Linear_Form& lf, const FP_Interval_Abstract_Store& store, diff --git a/src/Opposite_Floating_Point_Expression.defs.hh b/src/Opposite_Floating_Point_Expression.defs.hh index 627545c..16245bf 100644 --- a/src/Opposite_Floating_Point_Expression.defs.hh +++ b/src/Opposite_Floating_Point_Expression.defs.hh @@ -43,12 +43,13 @@ void swap(Parma_Polyhedra_Library::Opposite_Floating_Point_Expression< namespace Parma_Polyhedra_Library { -//! A generic Opposite Floating Point Expression -/*! \ingroup PPL_CXX_interface - The class template type parameter \p FP_Interval_Type represents the type - of the intervals used in the abstract domain. +/*! \brief + A generic Opposite Floating Point Expression. + \ingroup PPL_CXX_interface - The class template type parameter \p FP_Format represents the format + - The class template type parameter \p FP_Interval_Type represents the type + of the intervals used in the abstract domain. + - The class template type parameter \p FP_Format represents the format of the floating point variable used in the concrete domain. */ template <typename FP_Interval_Type, typename FP_Format> @@ -109,6 +110,11 @@ public: /* \brief Returns a linear form in the abstract store \p store that simply represents the opposite of the operand linearization. + + \param int_store The interval abstract store. + \param lf_store The linear form abstract store. + \param result The modified linear form. + */ void linearize(const FP_Interval_Abstract_Store& int_store, const FP_Linear_Form_Abstract_Store& lf_store,

1 0

[GIT] ppl/ppl(floating_point): Removed spurious occurrence of a closing comment, preventing compilation.
by Enea Zaffanella 10 Sep '09

10 Sep '09

Module: ppl/ppl Branch: floating_point Commit: 8467c7a8e640f773abc0dff8d62254830dc13c7c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8467c7a8e640… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Sep 10 09:12:20 2009 +0200 Removed spurious occurrence of a closing comment, preventing compilation. --- src/Difference_Floating_Point_Expression.defs.hh | 1 - 1 files changed, 0 insertions(+), 1 deletions(-) diff --git a/src/Difference_Floating_Point_Expression.defs.hh b/src/Difference_Floating_Point_Expression.defs.hh index ae56a81..66116cd 100644 --- a/src/Difference_Floating_Point_Expression.defs.hh +++ b/src/Difference_Floating_Point_Expression.defs.hh @@ -99,7 +99,6 @@ namespace Parma_Polyhedra_Library { and \f$mf_{\mathbf{f}}[-1;1]\f$ the value of absolute error defined in <CODE>Floating_Point_Expression::absolute_error</CODE>. */ -*/ template <typename FP_Interval_Type, typename FP_Format> class Difference_Floating_Point_Expression : public Floating_Point_Expression<FP_Interval_Type, FP_Format> {

1 0