[PPL-devel] Polyhedra/src Polyhedron.cc SatMatrix.cc SatRo ...

[Roberto Bagnara]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	roberto at sandbox.cs.unipr.it	01/06/07 23:08:49

Modified files:
	src            : Polyhedron.cc SatMatrix.cc SatRow.inlines.hh 

Log message:
	Two (!) bugs in SatRow::clear_from() have been fixed.
	
	The bug discovered and fixed by Angela in SatMatrix::resize() was a
	genuine one.
	
	Fixed a bug in the new part of Polyhedron::OK(): there was == instead
	of !=.  Then commented out everything since the basic assumption
	behind it seems bogus.