Please use capitalized HTML tags in the PPL web pages.
For instance, write `<STRONG>' and not `<strong>'.
Thanks
Roberto
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella(a)cs.unipr.it 2002-08-12 20:57:41
Modified files:
src : GenSys.cc
Log message:
Patched the method insert(const Generator&), which was doing nasty things
when trying to insert a generator into an empty generator system that
was declared to be NNC.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella(a)cs.unipr.it 2002-08-12 20:53:37
Modified files:
src : Polyhedron.cc
Log message:
Corrected a bug in add_generator(const Generator&) whereby we were not
adding the corresponding closure point when adding a point to an
empty NNC polyhedron.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: roberto(a)cs.unipr.it 2002-08-12 09:28:37
Modified files:
src : Polyhedron.defs.hh
Log message:
The documentation of Polyhedron::add_dimensions_and_constraints()
has been made consistent with that of the other methods.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…