CVSROOT: /cvs/ppl
Module name: ppl
Changes by: ericci(a)cs.unipr.it 2001-10-15 18:35:22
Modified files:
src : Polyhedron.cc
Log message:
Erased the "assert(OK())" from the function
Polyhedron::insert(const Generator&): after an insertion of a generator
the polyhedron can be not OK.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: ericci(a)cs.unipr.it 2001-10-15 18:24:22
Modified files:
src : Polyhedron.defs.hh
Log message:
Added a new example to show the use of the function Polyhedron::insert(...).
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: ericci(a)cs.unipr.it 2001-10-15 16:44:28
Modified files:
src : Polyhedron.cc
Log message:
If we build a polyhedron starting from a matrix of generators with no rows
the polyhedron is empty.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…
