[PPL-devel] Polyhedra/src Matrix.defs.hh Row.cc Row.defs.h ...

[Roberto Bagnara]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	roberto at sandbox.cs.unipr.it	01/06/10 23:05:48

Modified files:
	src            : Matrix.defs.hh Row.cc Row.defs.hh SatMatrix.cc 
	                 SatMatrix.defs.hh SatMatrix.inlines.hh 
	                 Status.defs.hh Status.inlines.hh 

Log message:
	Reduce the number of friends.
	Put global functions in the PPL namespace.