CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara@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.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.inlines.hh.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpq.inlines.hh.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpz.inlines.hh.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.defs.hh.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.inlines.hh.diff?cv...