CVSROOT: /cvs/ppl
Module name: ppl
Branch: strict
Changes by: zaffanella(a)cs.unipr.it 2002-03-20 19:02:39
Modified files:
src : PolyBase.cc
Log message:
Patched methods add_dimensions_and_embed(), add_dimensions_and_project()
and add_dimensions() to properly handle the "sorted" flag of matrices.
Corrected a small bug in add_dimensions_and_constraints(), where we were
trying to swap a column with itself.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=…
CVSROOT: /cvs/ppl
Module name: ppl
Branch: strict
Changes by: zaffanella(a)cs.unipr.it 2002-03-20 17:47:41
Modified files:
src : PolyBase.cc
Log message:
In constructors for NNC polyhedra, add the \epsilon constraint in the
order that is likely to preserve the sorted flag.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=…
CVSROOT: /cvs/ppl
Module name: ppl
Branch: strict
Changes by: zaffanella(a)cs.unipr.it 2002-03-20 16:46:08
Modified files:
src : PolyBase.defs.hh
Log message:
Constructors of the base class PolyBase are now protected, so that
the user _has_ to create objects of the derived classes Polyhedron
and NNC_Polyhedron.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.defs.hh.diff?cvs…
CVSROOT: /cvs/ppl
Module name: ppl
Branch: strict
Changes by: zaffanella(a)cs.unipr.it 2002-03-20 12:24:27
Modified files:
src : Matrix.defs.hh Matrix.inlines.hh Matrix.cc
Log message:
Corrected bugs:
- set_necessarily_closed() and set_non_necessarily_closed() now also
set the right topology for all the rows in the matrix;
- grow(...) no longer asserts OK() on exit, because it may leave
the matrix in a state where num_rows() == 0 and num_columns() > 0;
- grow(...) was comparing the first row to be added with the last row
in the matrix even when there were no rows in the matrix;
- insert(...) no longer swaps a coefficient with itself when
num_columns() and row.size() do match.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsro…http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.inlines.hh.diff?cv…http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp…
