[PPL-devel] ppl/tests affinetrans.cc error3.cc

Sat Oct 27 11:54:13 CEST 2001

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	space_dim
Changes by:	ericci at 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?cvsroot=ppl&only_with_tag=space_dim&r1=1.1.2.1&r2=1.1.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error3.cc.diff?cvsroot=ppl&only_with_tag=space_dim&r1=1.4.2.1&r2=1.4.2.2