[PPL-devel] Polyhedra/src ConSys.defs.hh Constraint.cc Con ...

[Roberto Bagnara]

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