[PPL-devel] ppl/src minimize.cc

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: ericci@cs.unipr.it 2002-11-27 11:45:16

Modified files: src : minimize.cc

Log message: When we use add_row(), it sets correctly if the changed matrix is sorted or not: so we do not say in add_and_minimize() that then the vhanged 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. In add_and_minimize(), also used SatMatrix::transpose() where it is possible instead of SatMatrix::transpose_assign().

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=p...