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

Author: Fabio Bossi bossi@cs.unipr.it Date: Thu Sep 3 16:50:54 2009 +0200

Fixed erroneous declarations of namespace std inside namespace Parma_Polyhedra_Library.

---

src/Difference_Floating_Point_Expression.defs.hh | 4 ++-- src/Division_Floating_Point_Expression.defs.hh | 4 ++-- ...ultiplication_Floating_Point_Expression.defs.hh | 4 ++-- src/Sum_Floating_Point_Expression.defs.hh | 3 +-- 4 files changed, 7 insertions(+), 8 deletions(-)

diff --git a/src/Difference_Floating_Point_Expression.defs.hh b/src/Difference_Floating_Point_Expression.defs.hh index 51f1cdb..db19f66 100644 --- a/src/Difference_Floating_Point_Expression.defs.hh +++ b/src/Difference_Floating_Point_Expression.defs.hh @@ -29,8 +29,6 @@ site: http://www.cs.unipr.it/ppl/ . */ #include "Difference_Floating_Point_Expression.types.hh" #include <map>

-namespace Parma_Polyhedra_Library { - namespace std {

//! Specializes <CODE>std::swap</CODE>. @@ -45,6 +43,8 @@ void swap(Parma_Polyhedra_Library

} // namespace std

+namespace Parma_Polyhedra_Library { + template <typename FP_Interval_Type, typename FP_Format> class Difference_Floating_Point_Expression : public Floating_Point_Expression<FP_Interval_Type, FP_Format> { diff --git a/src/Division_Floating_Point_Expression.defs.hh b/src/Division_Floating_Point_Expression.defs.hh index 6cc0596..e20465f 100644 --- a/src/Division_Floating_Point_Expression.defs.hh +++ b/src/Division_Floating_Point_Expression.defs.hh @@ -29,8 +29,6 @@ site: http://www.cs.unipr.it/ppl/ . */ #include "Division_Floating_Point_Expression.types.hh" #include <map>

-namespace Parma_Polyhedra_Library { - namespace std {

//! Specializes <CODE>std::swap</CODE>. @@ -43,6 +41,8 @@ void swap(Parma_Polyhedra_Library

} // namespace std

+namespace Parma_Polyhedra_Library { + template <typename FP_Interval_Type, typename FP_Format> class Division_Floating_Point_Expression : public Floating_Point_Expression<FP_Interval_Type, FP_Format> { diff --git a/src/Multiplication_Floating_Point_Expression.defs.hh b/src/Multiplication_Floating_Point_Expression.defs.hh index 9b180f9..e32e992 100644 --- a/src/Multiplication_Floating_Point_Expression.defs.hh +++ b/src/Multiplication_Floating_Point_Expression.defs.hh @@ -29,8 +29,6 @@ site: http://www.cs.unipr.it/ppl/ . */ #include "Multiplication_Floating_Point_Expression.types.hh" #include <map>

-namespace Parma_Polyhedra_Library { - namespace std {

//! Specializes <CODE>std::swap</CODE>. @@ -45,6 +43,8 @@ void swap(Parma_Polyhedra_Library

} // namespace std

+namespace Parma_Polyhedra_Library { + template <typename FP_Interval_Type, typename FP_Format> class Multiplication_Floating_Point_Expression : public Floating_Point_Expression<FP_Interval_Type, FP_Format> { diff --git a/src/Sum_Floating_Point_Expression.defs.hh b/src/Sum_Floating_Point_Expression.defs.hh index 44a3752..d1193dc 100644 --- a/src/Sum_Floating_Point_Expression.defs.hh +++ b/src/Sum_Floating_Point_Expression.defs.hh @@ -29,8 +29,6 @@ site: http://www.cs.unipr.it/ppl/ . */ #include "Sum_Floating_Point_Expression.types.hh" #include <map>

-namespace Parma_Polyhedra_Library { - namespace std {

//! Specializes <CODE>std::swap</CODE>. @@ -43,6 +41,7 @@ void swap(Parma_Polyhedra_Library

} // namespace std

+namespace Parma_Polyhedra_Library {

template <typename FP_Interval_Type, typename FP_Format> class Sum_Floating_Point_Expression