[PPL-devel] ppl/src GMP_Integer.inlines.hh Interval.inline ...

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	bagnara at cs.unipr.it	2008-02-12 12:11:56

Modified files:
	src            : GMP_Integer.inlines.hh Interval.inlines.hh 
	                 checked_mpq.inlines.hh checked_mpz.inlines.hh 
	                 globals.defs.hh globals.inlines.hh 

Log message:
	Moved all the memory occupation inspection functions to globals.*.
	In GMP_Integer.defs.hh we keep the declarations of
	memory_size_type total_memory_in_bytes(const GMP_Integer& x)
	and
	memory_size_type external_memory_in_bytes(const GMP_Integer& x),
	in order to obey the rule "every public PPL object has memory
	inspection functions."  However, not to confuse Doxygen with
	(apparently) duplicated documentation, the documentation of the
	declarations in GMP_Integer.defs.hh is controlled by
	#ifndef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.inlines.hh.diff?cvsroot=ppl&r1=1.23&r2=1.24
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.inlines.hh.diff?cvsroot=ppl&r1=1.31&r2=1.32
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpq.inlines.hh.diff?cvsroot=ppl&r1=1.44&r2=1.45
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpz.inlines.hh.diff?cvsroot=ppl&r1=1.51&r2=1.52
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.defs.hh.diff?cvsroot=ppl&r1=1.53&r2=1.54
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.inlines.hh.diff?cvsroot=ppl&r1=1.21&r2=1.22