CVSROOT: /cvs/ppl
Module name: ppl
Branch: space_dim
Changes by: ericci(a)cs.unipr.it 2001-10-27 11:54:13
Modified files:
tests : affinetrans.cc error3.cc
Log message:
To build the polyhedron that we want using the system of generators,
we must create the system of generators and then use Polyhedron ph(gs).
(If we use Polyhedron ph(num_dim), we have the universe polyhedron and
then when we add the generators we do not have our polyhedron but the
universe one).
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affinetrans.cc.diff?cvs…http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error3.cc.diff?cvsroot=…
CVSROOT: /cvs/ppl
Module name: ppl
Branch: space_dim
Changes by: ericci(a)cs.unipr.it 2001-10-27 11:49:16
Modified files:
src : Polyhedron.defs.hh
Log message:
Added an example for the function remove_dimensions (the example 8).
In the examples when we build a polyhedron we must specify the dimension
of the space if then we use the function Polyhedron::insert(Constraint).
We can not do the same thing if then we want to use the function
Polyhedron::insert(Generator) In fact, in this case we build the
universe polyhedron and then we add the generators. To build a polyhedron
starting from the system of generators we must create the system
of generators and then use
Polyhedron ph(gs).
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…
