[PPL-devel] Polyhedra/src SatMatrix.cc SatMatrix.defs.hh S ...

[Angela Stazzone]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	stazzone at sandbox.cs.unipr.it	01/06/14 15:51:33

Modified files:
	src            : SatMatrix.cc SatMatrix.defs.hh 
	                 SatMatrix.inlines.hh 

Log message:
	Comments fixed.