27 Oct
2001
27 Oct
'01
11:54 a.m.
CVSROOT: /cvs/ppl Module name: ppl Branch: space_dim Changes by: ericci@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?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error3.cc.diff?cvsroot=p...