[PPL-devel] Polyhedra/src Matrix.cc Matrix.defs.hh SatMatr ...

[Roberto Bagnara]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	roberto at sandbox.cs.unipr.it	01/06/07 12:10:31

Modified files:
	src            : Matrix.cc Matrix.defs.hh SatMatrix.cc 
	                 SatMatrix.defs.hh 

Log message:
	Matrix::remove_duplicates() killed and inlined within Matrix::sort_rows().
	Matrix::sort_rows() and SatMatrix::sort_rows() reconciled.