[PPL-devel] ppl/src minimize.cc
Elisa Ricci
ericci at spartacus.cs.unipr.it
Wed Nov 27 11:45:16 CET 2002
CVSROOT: /cvs/ppl
Module name: ppl
Branch: lazy
Changes by: ericci at 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=ppl&only_with_tag=lazy&r1=1.25.2.1&r2=1.25.2.2
More information about the PPL-devel
mailing list