[PPL-devel] ppl/src GenSys.cc Integer.defs.hh Integer.inli ...

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	roberto at cs.unipr.it	2004-08-22 23:54:17

Modified files:
	src            : GenSys.cc Integer.defs.hh Integer.inlines.hh 
	                 Matrix.cc Polyhedron_nonpublic.cc 
	                 Polyhedron_widenings.cc Row.cc 

Log message:
	New function
	void sub_mul_assign(Integer& x, const Integer& y, const Integer& z)
	to efficiently compute x -= y*z.
	
	Use add_mul_assign() and sub_mul_assign() when possible.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=ppl&r1=1.90&r2=1.91
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.defs.hh.diff?cvsroot=ppl&r1=1.12&r2=1.13
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.inlines.hh.diff?cvsroot=ppl&r1=1.11&r2=1.12
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=ppl&r1=1.71&r2=1.72
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.diff?cvsroot=ppl&r1=1.23&r2=1.24
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.diff?cvsroot=ppl&r1=1.26&r2=1.27
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r1=1.63&r2=1.64