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

[Angela Stazzone]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	stazzone at sandbox.cs.unipr.it	01/06/07 17:05:57

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

Log message:
	Finished to comment class SatMatrix.