CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto@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.