CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto@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.