[PPL-devel] Polyhedra/ rc/ConSys.cc rc/ConSys.defs.hh rc/C ...

[Roberto Bagnara]

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