[PPL-devel] ppl tests/Box/boundedaffineimage1.cc tests/Box ...

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at cs.unipr.it	2008-03-03 08:52:56

Modified files:
	tests/Box      : boundedaffineimage1.cc 
	                 generalizedaffineimage1.cc 
	                 generalizedaffineimage2.cc 
	src            : Box.templates.hh 

Log message:
	Corrected two bugs, one in bounded_affine_image() when setting an
	interval to be unbounded caused an exception to be thrown
	and the other in generalized_affine_image/4
	where the bounds were set when they should have been left unbounded.
	
	The first bug was illustrated by the extra test17 in boundedaffineimage1.cc
	
	The second bug by a modified form of test04 in generalizedaffineimage2.cc
	(previously the test did not test anything that is not tested elsewhere).
	
	Some tests in generalizedaffineimage1.cc used constraints
	that were not non-relational. Corrected.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/boundedaffineimage1.cc.diff?cvsroot=ppl&r1=1.15&r2=1.16
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/generalizedaffineimage1.cc.diff?cvsroot=ppl&r1=1.14&r2=1.15
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/generalizedaffineimage2.cc.diff?cvsroot=ppl&r1=1.4&r2=1.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvsroot=ppl&r1=1.102&r2=1.103