CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto@sandbox.cs.unipr.it 01/06/09 21:41:06

Modified files: src : ConSys.cc ConSys.defs.hh ConSys.inlines.hh ConSys.types.hh Constraint.cc Constraint.defs.hh Constraint.inlines.hh Constraint.types.hh GenSys.cc GenSys.defs.hh GenSys.inlines.hh GenSys.types.hh Generator.defs.hh Generator.inlines.hh Generator.types.hh Matrix.cc Matrix.defs.hh Matrix.inlines.hh Matrix.types.hh Polyhedron.cc Polyhedron.defs.hh Polyhedron.inlines.hh Row.cc Row.defs.hh Row.inlines.hh Row.types.hh SatMatrix.cc SatMatrix.defs.hh SatMatrix.inlines.hh SatMatrix.types.hh SatRow.cc SatRow.types.hh Status.cc Status.defs.hh Status.inlines.hh conversion.cc minimize.cc simplify.cc watch.hh test : testConstraints.cc testGCD.cc testMatrix.cc testMinimize.cc testPolyhedron.cc testRow.cc testSatMatrix.cc testmerge.cc testrandom.cc timings.cc

Log message: The transition to namespaces should be nearly complete.