[PPL-devel] ppl src/Grid.defs.hh src/Grid.templates.hh tes ...

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at cs.unipr.it	2006-10-24 17:56:29

Modified files:
	src            : Grid.defs.hh Grid.templates.hh 
	tests/Grid     : boundingbox1.cc boundingbox2.cc 

Log message:
	In ppl/src:
	
	The grid can now be built from boxes which may have different finite
	values for the upper and lower bounds or have only the upper or the
	lower bound bounded or have open finite bounds. Before when this
	happened an exception was thrown. Now we compute an approximation.
	
	Also, now the Grid domain requires the complexity as
	an argument for shrink_bounding_box so as to be compatible with the
	Polyhedron_shrink_bounding_box. This argument is not used.
	
	The tests/Grid/boundingbox1.cc and tests/Grid/boundingbox2.cc have
	been revised to match.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot=ppl&r1=1.35&r2=1.36
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.templates.hh.diff?cvsroot=ppl&r1=1.21&r2=1.22
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/boundingbox1.cc.diff?cvsroot=ppl&r1=1.12&r2=1.13
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/boundingbox2.cc.diff?cvsroot=ppl&r1=1.10&r2=1.11