CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@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=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.defs.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.inlines.hh.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.defs.hh.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.inlines.hh.diff?...