[PPL-devel] ppl/src Matrix.cc Matrix.inlines.hh Polyhedron.cc

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	roberto at 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&r1=1.19&r2=1.20
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.inlines.hh.diff?cvsroot=ppl&r1=1.7&r2=1.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot=ppl&r1=1.90&r2=1.91