Module: ppl/ppl Branch: sparse_matrices Commit: 74681f593e4b426b5e5d5a02516ac2c92c3d756c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=74681f593e4b4...
Author: Marco Poletti poletti.marco@gmail.com Date: Thu Mar 4 19:51:11 2010 +0100
Unlimited_Sparse_Row_Custom_Slist_Backend: add std::swap() specialization.
---
...limited_Sparse_Row_Custom_Slist_Backend.defs.hh | 14 ++++++++++++++ ...ited_Sparse_Row_Custom_Slist_Backend.inlines.hh | 10 ++++++++++ 2 files changed, 24 insertions(+), 0 deletions(-)
diff --git a/src/Unlimited_Sparse_Row_Custom_Slist_Backend.defs.hh b/src/Unlimited_Sparse_Row_Custom_Slist_Backend.defs.hh index d4acc24..2ffa86d 100644 --- a/src/Unlimited_Sparse_Row_Custom_Slist_Backend.defs.hh +++ b/src/Unlimited_Sparse_Row_Custom_Slist_Backend.defs.hh @@ -251,6 +251,20 @@ private:
}
+namespace std { + +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS +//! Specializes <CODE>std::swap</CODE>. +/*! \relates Parma_Polyhedra_Library::Unlimited_Sparse_Row_Custom_Slist_Backend +*/ +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) +void swap( + Parma_Polyhedra_Library::Unlimited_Sparse_Row_Custom_Slist_Backend& x, + Parma_Polyhedra_Library::Unlimited_Sparse_Row_Custom_Slist_Backend& y); + +} // namespace std + + #include "Unlimited_Sparse_Row_Custom_Slist_Backend.inlines.hh"
#endif // !defined(PPL_Unlimited_Sparse_Row_Custom_Slist_Backend_defs_hh) diff --git a/src/Unlimited_Sparse_Row_Custom_Slist_Backend.inlines.hh b/src/Unlimited_Sparse_Row_Custom_Slist_Backend.inlines.hh index 480fc7a..730a5d6 100644 --- a/src/Unlimited_Sparse_Row_Custom_Slist_Backend.inlines.hh +++ b/src/Unlimited_Sparse_Row_Custom_Slist_Backend.inlines.hh @@ -477,4 +477,14 @@ Unlimited_Sparse_Row_Custom_Slist_Backend::const_iterator::
} // namespace Parma_Polyhedra_Library
+namespace std { + +inline void +swap(Parma_Polyhedra_Library::Unlimited_Sparse_Row_Custom_Slist_Backend& x, + Parma_Polyhedra_Library::Unlimited_Sparse_Row_Custom_Slist_Backend& y) { + x.swap(y); +} + +} // namespace std + #endif // !defined(PPL_Unlimited_Sparse_Row_Custom_Slist_Backend_inlines_hh)