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

Modified files: src : Polyhedron.cc Polyhedron.defs.hh Polyhedron.inlines.hh Polyhedron.types.hh conversion.cc minimize.cc simplify.cc test : bug.cc bug2.cc bug3.cc bug4.cc bug5.cc bug6.cc bug7.cc bug8.cc bug9.cc buga.cc bugb.cc bugc.cc bugd.cc buge.cc bugf.cc testMinimize.cc testPolyhedron.cc

Log message: Started putting everything in the namespace Parma_Polyhedra_Library; short alias (to be used only in the .cc files): PPL.