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