CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci@cs.unipr.it 2002-11-28 18:22:29

Modified files: src : SatMatrix.cc SatMatrix.defs.hh minimize.cc

Log message: Restored SatMatrix::transpose() and used it in add_and_minimize(), where it is possible, instead of SatMatrix::transpose_assign(). When we use add_row(), it sets correctly if the changed matrix is sorted or not: so we have not to say in add_and_minimize() that the changed matrix is not sorted. In add_and_minimize(), after adding the new rows to the matrix `source1', we resize the saturation matrix `sat' instead of built a temporary saturation matrix.

Patches: 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/minimize.cc.diff?cvsroot=p...