[PPL-devel] ppl/src Linear_System.cc Linear_System.defs.hh ...

[Enea Zaffanella]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	zaffanella at cs.unipr.it	2004-11-08 14:01:19

Modified files:
	src            : Linear_System.cc Linear_System.defs.hh 
	                 Linear_System.inlines.hh Makefile.am 
	                 SatMatrix.cc SatMatrix.defs.hh 
	                 SatMatrix.inlines.hh 
Added files:
	src            : swapping_sort.icc 

Log message:
	Added a simplified version of the STL sorting algorithm that avoids (almost
	all) copies of objects by performing more swaps.
	The new algorithm is used when sorting Linear_System and SatMatrix objects.
	The same algorithm is also used to provide a new implementation of method
	Linear_System::sort_and_remove_with_sat(SatMatrix& sat);
	by defining an iterator on Linear_System that mimics on the SatMatrix all
	the swaps made on the Linear_System.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/swapping_sort.icc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.cc.diff?cvsroot=ppl&r1=1.5&r2=1.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.defs.hh.diff?cvsroot=ppl&r1=1.3&r2=1.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.inlines.hh.diff?cvsroot=ppl&r1=1.4&r2=1.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=ppl&r1=1.82&r2=1.83
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.cc.diff?cvsroot=ppl&r1=1.30&r2=1.31
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.defs.hh.diff?cvsroot=ppl&r1=1.35&r2=1.36
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.inlines.hh.diff?cvsroot=ppl&r1=1.22&r2=1.23