[PPL-devel] Polyhedra/ rc/Polyhedron.cc rc/Polyhedron.defs ...

[Roberto Bagnara]

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