CVSROOT: /cvs/ppl
Module name: ppl
Changes by: ericci(a)cs.unipr.it 2001-10-29 16:46:08
Modified files:
src : Polyhedron.cc
Log message:
In Polyhedron(size_t num_dimensions, Degenerate_Kind kind)
if we build an universe polyhedron the system of constraints is in the
minimal form.
In the function insert(Constraint) added the comment that specify why
when we insert the constraint the polyhedron is non-empty.
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-29 14:29:29
Modified files:
src : Polyhedron.cc
Log message:
In add_dimensions_and_embed, when embedding a zero-dim universe polyhedron
the creation of the system of generators is now guarded by pre-proc
flag BE_LAZY.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…
