CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto@cs.unipr.it 2001-12-11 00:04:57
Modified files: src : Matrix.cc Matrix.inlines.hh Polyhedron.cc
Log message: A default-constructed (empty) Matrix is now declared as sorted. Matrix::grow() was not handling the `sorted' flag correctly: fixed. Matrix::add_zero_columns() is now an inline method. Matrix::OK() now checks that the `sorted' flag is set only if the matrix is actually sorted. Matrix::add_rows_and_columns() now asserts OK() before returning. Some comments fixed.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.inlines.hh.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot...