CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto@sandbox.cs.unipr.it 01/08/27 21:39:38
Modified files: src : ConSys.defs.hh Constraint.cc Constraint.defs.hh Constraint.inlines.hh GenSys.defs.hh LinExpr.defs.hh LinExpr.inlines.hh Matrix.cc Matrix.defs.hh Matrix.inlines.hh PPL.hh Polyhedron.cc Polyhedron.defs.hh Polyhedron.inlines.hh Row.defs.hh Row.inlines.hh SatMatrix.cc SatMatrix.defs.hh SatMatrix.inlines.hh SatRow.cc SatRow.defs.hh SatRow.inlines.hh Status.cc conversion.cc interface.cc simplify.cc
Log message: We were violating the standard in several places (and incoherently, too).