[PPL-devel] [GIT] ppl/ppl(master): Use the same typenames in function declarations/ definitions.

[Enea Zaffanella]

Module: ppl/ppl
Branch: master
Commit: 58dff7089d77a0d9762953c66734f95d52b2ddca
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=58dff7089d77a0d9762953c66734f95d52b2ddca

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sun Feb 26 14:49:39 2012 +0100

Use the same typenames in function declarations/definitions.
Detected by ECLAIR service funtypes.

---

 src/Checked_Number.defs.hh |    2 +-
 src/Ptr_Iterator.defs.hh   |   30 +++++++++++++++---------------
 2 files changed, 16 insertions(+), 16 deletions(-)

diff --git a/src/Checked_Number.defs.hh b/src/Checked_Number.defs.hh
index a5d91a9..92c60b9 100644
--- a/src/Checked_Number.defs.hh
+++ b/src/Checked_Number.defs.hh
@@ -568,7 +568,7 @@ PPL_DECLARE_FUNC4(gcdext_assign_r)
 //! Returns the total size in bytes of the memory occupied by \p x.
 /*! \relates Checked_Number */
 template <typename T, typename Policy>
-size_t
+memory_size_type
 total_memory_in_bytes(const Checked_Number<T, Policy>& x);
 
 //! Returns the size in bytes of the memory managed by \p x.
diff --git a/src/Ptr_Iterator.defs.hh b/src/Ptr_Iterator.defs.hh
index c4ed6e7..2f6c852 100644
--- a/src/Ptr_Iterator.defs.hh
+++ b/src/Ptr_Iterator.defs.hh
@@ -31,27 +31,27 @@ namespace Parma_Polyhedra_Library {
 
 namespace Implementation {
 
-template<typename Q, typename R>
-bool operator==(const Ptr_Iterator<Q>& x, const Ptr_Iterator<R>& y);
+template<typename P, typename Q>
+bool operator==(const Ptr_Iterator<P>& x, const Ptr_Iterator<Q>& y);
 
-template<typename Q, typename R>
-bool operator!=(const Ptr_Iterator<Q>& x, const Ptr_Iterator<R>& y);
+template<typename P, typename Q>
+bool operator!=(const Ptr_Iterator<P>& x, const Ptr_Iterator<Q>& y);
 
-template<typename Q, typename R>
-bool operator<(const Ptr_Iterator<Q>& x, const Ptr_Iterator<R>& y);
+template<typename P, typename Q>
+bool operator<(const Ptr_Iterator<P>& x, const Ptr_Iterator<Q>& y);
 
-template<typename Q, typename R>
-bool operator<=(const Ptr_Iterator<Q>& x, const Ptr_Iterator<R>& y);
+template<typename P, typename Q>
+bool operator<=(const Ptr_Iterator<P>& x, const Ptr_Iterator<Q>& y);
 
-template<typename Q, typename R>
-bool operator>(const Ptr_Iterator<Q>& x, const Ptr_Iterator<R>& y);
+template<typename P, typename Q>
+bool operator>(const Ptr_Iterator<P>& x, const Ptr_Iterator<Q>& y);
 
-template<typename Q, typename R>
-bool operator>=(const Ptr_Iterator<Q>& x, const Ptr_Iterator<R>& y);
+template<typename P, typename Q>
+bool operator>=(const Ptr_Iterator<P>& x, const Ptr_Iterator<Q>& y);
 
-template<typename Q, typename R>
-typename Ptr_Iterator<Q>::difference_type operator-(const Ptr_Iterator<Q>& x,
-						    const Ptr_Iterator<R>& y);
+template<typename P, typename Q>
+typename Ptr_Iterator<P>::difference_type
+operator-(const Ptr_Iterator<P>& x, const Ptr_Iterator<Q>& y);
 
 template<typename P>
 Ptr_Iterator<P> operator+(typename Ptr_Iterator<P>::difference_type m,