[PPL-devel] Polyhedra/src Matrix.defs.hh Matrix.inlines.hh ...

[Roberto Bagnara]

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

Modified files:
	src            : Matrix.defs.hh Matrix.inlines.hh 
	                 Polyhedron.inlines.hh Row.inlines.hh 
	                 SatMatrix.defs.hh SatMatrix.inlines.hh 
	                 SatRow.defs.hh Status.defs.hh 
	src/Integer    : Integer.defs.hh 

Log message:
	Namespace Rule #1: Avoid using directives entirely, especially in
	header files.