[PPL-devel] Polyhedra/src Constraint.cc GenSys.defs.hh Lin ...

[Roberto Bagnara]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	roberto at sandbox.cs.unipr.it	01/09/09 22:47:57

Modified files:
	src            : Constraint.cc GenSys.defs.hh 
	                 LinExpression.defs.hh Matrix.cc Matrix.defs.hh 
	                 Matrix.inlines.hh Row.cc Row.defs.hh 
	                 SatMatrix.cc SatMatrix.defs.hh 
	                 SatMatrix.inlines.hh SatRow.defs.hh 
	                 SatRow.inlines.hh Variable.defs.hh protect.sed 
	                 restore.sed 

Log message:
	Several improvements.
	Several documentation issues have been identified.