CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella@cs.unipr.it 2002-03-13 17:04:20

Modified files: src : Makefile.am Polyhedron.cc Polyhedron.defs.hh Polyhedron.inlines.hh conversion.cc minimize.cc simplify.cc Added files: src : PolyBase.cc PolyBase.defs.hh PolyBase.inlines.hh PolyBase.types.hh

Log message: Class Polyhedron renamed into PolyBase. Added a private boolean flag "necessarily_closed_" and modified all constructors (but not the copy constructor) to also accept a boolean argument (which is ignored, for the moment). Created a new class Polyhedron inheriting public-ly from PolyBase. This will be the class defining "necessarily closed" polyhedra.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.defs.hh.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.inlines.hh.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.types.hh.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=p...