[PPL-devel] Polyhedra/ oc/devref.doxyconf-html.in oc/devre ...

[Roberto Bagnara]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	roberto at sandbox.cs.unipr.it	01/07/24 18:12:32

Modified files:
	doc            : devref.doxyconf-html.in devref.doxyconf-pdf.in 
	                 devref.tex user.doxyconf-pdf.in user.tex 
	src            : ConSys.cc GenSys.cc Makefile.am Makefile.in 
	                 conversion.cc interface.cc minimize.cc 
	                 simplify.cc 
	test           : Makefile.am Makefile.in 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            : PPL.cc PPL.hh Poly.cc Poly.defs.hh 
	                 Poly.inlines.hh Poly.types.hh 
Removed files:
	src            : Polyhedron.cc Polyhedron.defs.hh 
	                 Polyhedron.inlines.hh Polyhedron.types.hh 

Log message:
	Polyhedron is now a reserved word for the interface.
	The implementation object is now called a "Poly" and is implemented
	in the Poly.* files.
	PPL.hh will be the file included by the user.
	PPL.cc will implement the interface.