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