CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella(a)cs.unipr.it 2001-10-23 18:52:40
Modified files:
doc : definitions.dox
Log message:
A small improvement on the explanation of the representation by generators.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella(a)cs.unipr.it 2001-10-23 18:50:02
Modified files:
src : Polyhedron.defs.hh Polyhedron.cc
Log message:
Polyhedron::constraints() no longer throws an exception when *this is
a zero-dimensional polyhedron (now it returns the empty system of constraints).
Polyhedron::generators() no longer throws an exception when *this is
an empty polyhedron (now it returns the empty system of generators).
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella(a)cs.unipr.it 2001-10-23 17:54:16
Modified files:
src : Polyhedron.cc
Log message:
Exception messages now use the "function: message" convention.
The comment in PPL::Polyhedron::Polyhedron(GenSys& gs) related to the
existence of a vertex improved.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella(a)cs.unipr.it 2001-10-23 17:27:45
Modified files:
doc : definitions.dox
Log message:
In the proposition after the definition of rays, we need to consider
a non-empty polyhedron and a non-zero vector \vect{r}.
It is NOT true that extreme rays define _all_ the directions in which
an arbitrary polyhedron is infinite.
Definition of line simplified. A typo fixed in definition of Minkowsky's sum.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: ericci(a)cs.unipr.it 2001-10-23 16:50:49
Modified files:
src : Polyhedron.cc
Log message:
In function Polyhedron::insert(Constraint), if we add a constraint
to an empty polyhedron it remains empty.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…
