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

[Patricia Hill]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	hill at sandbox.cs.unipr.it	01/10/09 17:39:27

Modified files:
	src            : ConSys.cc ConSys.defs.hh GenSys.cc Generator.cc 
	                 Matrix.cc Matrix.defs.hh Matrix.inlines.hh 
	                 Row.cc Row.defs.hh Row.inlines.hh SatMatrix.cc 
	                 SatRow.defs.hh Status.defs.hh 

Log message:
	changes to comments