[PPL-devel] ppl/src BD_Shape.templates.hh Box.inlines.hh B ...

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	bagnara at cs.unipr.it	2007-09-11 23:48:51

Modified files:
	src            : BD_Shape.templates.hh Box.inlines.hh 
	                 Box.templates.hh Interval_Restriction.defs.hh 
	                 MIP_Problem.cc Octagonal_Shape.templates.hh 
	                 Polyhedron_nonpublic.cc Polyhedron_public.cc 
	                 checked.inlines.hh checked_int.inlines.hh 
	                 checked_mpz.inlines.hh globals.cc 
	                 globals.inlines.hh 

Log message:
	For temporaries of type mpz_class or mpq_class, use DIRTY_TEMP0
	instead of local variables.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.diff?cvsroot=ppl&r1=1.79&r2=1.80
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.inlines.hh.diff?cvsroot=ppl&r1=1.19&r2=1.20
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvsroot=ppl&r1=1.62&r2=1.63
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval_Restriction.defs.hh.diff?cvsroot=ppl&r1=1.7&r2=1.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsroot=ppl&r1=1.54&r2=1.55
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates.hh.diff?cvsroot=ppl&r1=1.55&r2=1.56
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.diff?cvsroot=ppl&r1=1.79&r2=1.80
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff?cvsroot=ppl&r1=1.94&r2=1.95
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.inlines.hh.diff?cvsroot=ppl&r1=1.38&r2=1.39
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.diff?cvsroot=ppl&r1=1.62&r2=1.63
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpz.inlines.hh.diff?cvsroot=ppl&r1=1.47&r2=1.48
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.cc.diff?cvsroot=ppl&r1=1.29&r2=1.30
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.inlines.hh.diff?cvsroot=ppl&r1=1.18&r2=1.19