[PPL-devel] Polyhedra/ rc/ConSys.cc rc/GenSys.cc rc/Makefi ...

[Roberto Bagnara]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	roberto at sandbox.cs.unipr.it	01/08/25 17:20:36

Modified files:
	src            : ConSys.cc GenSys.cc Makefile.am Makefile.in 
	                 PPL.cc PPL.hh conversion.cc minimize.cc 
	                 simplify.cc 
	src/Integer    : Makefile.am Makefile.in 
	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 
Added files:
	src            : Polyhedron.cc Polyhedron.defs.hh 
	                 Polyhedron.inlines.hh Polyhedron.types.hh 
Removed files:
	src            : Poly.cc Poly.defs.hh Poly.inlines.hh 
	                 Poly.types.hh 

Log message:
	About to implement a new idea for the public interface.
	Meanwhile, welcome back Polyhedron!