CVSROOT: /cvs/ppl
Module name: ppl
Branch: lazy
Changes by: ericci(a)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=…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: ericci(a)cs.unipr.it 2002-11-27 11:21:20
Modified files:
tests : shuffledim1.cc
Log message:
Added a test to verify Polyhedron::shuffle_dimensions() in the
case that the polyhedron is zero-dimensional.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/shuffledim1.cc.diff?cvs…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: ericci(a)cs.unipr.it 2002-11-26 17:51:45
Modified files:
tests : shuffledim1.cc
Log message:
Added void print_function() that is used to print a function in this
test.
Added also other tests to verify Polyhedron::shuffle_dimensions().
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/shuffledim1.cc.diff?cvs…
CVSROOT: /cvs/ppl
Module name: ppl
Branch: lazy
Changes by: roberto(a)cs.unipr.it 2002-11-25 15:44:46
Modified files:
src : Matrix.cc
Log message:
Fixed a bug in Matrix::grow() whereby, depending on the relations between
the new rows' size and the old row's capacity, index_first_pending
could erroneously be set to zero.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp…