[PPL-devel] ppl src/BD_Shape.defs.hh src/BD_Shape.inlines. ...

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at cs.unipr.it	2008-04-18 10:16:07

Modified files:
	src            : BD_Shape.defs.hh BD_Shape.inlines.hh 
	                 Box.defs.hh Box.inlines.hh Box.templates.hh 
	                 C_Polyhedron.defs.hh C_Polyhedron.inlines.hh 
	                 Grid.defs.hh Grid_public.cc 
	                 NNC_Polyhedron.defs.hh 
	                 NNC_Polyhedron.inlines.hh 
	                 Octagonal_Shape.defs.hh 
	                 Octagonal_Shape.inlines.hh 
	                 Partially_Reduced_Product.defs.hh 
	                 Partially_Reduced_Product.inlines.hh 
	                 Polyhedron.defs.hh Polyhedron_nonpublic.cc 
	tests/BD_Shape : Makefile.am 
	tests/Grid     : Makefile.am directproduct6.cc 
	                 partiallyreducedproduct1.cc 
	                 partiallyreducedproduct2.cc 
	                 partiallyreducedproduct3.cc 
	                 partiallyreducedproduct4.cc 
	tests/Octagonal_Shape: Makefile.am 
Added files:
	tests/BD_Shape : frombdshape1.cc 
	tests/Grid     : fromgrid1.cc 
	tests/Octagonal_Shape: fromoctagonalshape1.cc 
Removed files:
	tests/Grid     : copyconstruct1.cc 

Log message:
	Added to the Partially_Reduced_Product<> class
	in the semantic GD constructors from other classes
	a complexity parameter.
	
	Tests for this have been added as needed. Also some comments
	wrt the tests for the product domain have been corrected.
	
	In the Grid, Box, BD_Shape and Octagonal_Shape added
	a complexity class parameter to the copy constructor
	and to the constructor from the same class but with a different
	numeric class (where applicable).
	
	Test files added where no obvious test for the copy constructor
	could be found. For the grid tests, the test file copyconstruct1.cc
	has been renamed for uniformity with other tests and the other
	classes.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvsroot=ppl&r1=1.120&r2=1.121
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?cvsroot=ppl&r1=1.160&r2=1.161
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=ppl&r1=1.51&r2=1.52
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.inlines.hh.diff?cvsroot=ppl&r1=1.31&r2=1.32
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvsroot=ppl&r1=1.108&r2=1.109
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.defs.hh.diff?cvsroot=ppl&r1=1.57&r2=1.58
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.inlines.hh.diff?cvsroot=ppl&r1=1.41&r2=1.42
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot=ppl&r1=1.69&r2=1.70
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsroot=ppl&r1=1.71&r2=1.72
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.defs.hh.diff?cvsroot=ppl&r1=1.57&r2=1.58
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.inlines.hh.diff?cvsroot=ppl&r1=1.42&r2=1.43
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.diff?cvsroot=ppl&r1=1.46&r2=1.47
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.inlines.hh.diff?cvsroot=ppl&r1=1.33&r2=1.34
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product.defs.hh.diff?cvsroot=ppl&r1=1.26&r2=1.27
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product.inlines.hh.diff?cvsroot=ppl&r1=1.23&r2=1.24
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&r1=1.334&r2=1.335
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.diff?cvsroot=ppl&r1=1.82&r2=1.83
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/frombdshape1.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.diff?cvsroot=ppl&r1=1.74&r2=1.75
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/fromgrid1.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?cvsroot=ppl&r1=1.63&r2=1.64
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct6.cc.diff?cvsroot=ppl&r1=1.11&r2=1.12
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/partiallyreducedproduct1.cc.diff?cvsroot=ppl&r1=1.10&r2=1.11
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/partiallyreducedproduct2.cc.diff?cvsroot=ppl&r1=1.4&r2=1.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/partiallyreducedproduct3.cc.diff?cvsroot=ppl&r1=1.3&r2=1.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/partiallyreducedproduct4.cc.diff?cvsroot=ppl&r1=1.3&r2=1.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/copyconstruct1.cc.diff?cvsroot=ppl&r1=1.9&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/fromoctagonalshape1.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/Makefile.am.diff?cvsroot=ppl&r1=1.27&r2=1.28