CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@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?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.inlines.hh.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.defs.hh.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.inlines.hh.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.defs.hh.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.inlines.hh.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.inlines.hh... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/frombdshape1.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/fromgrid1.cc?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct6.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/partiallyreducedpro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/partiallyreducedpro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/partiallyreducedpro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/partiallyreducedpro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/copyconstruct1.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/fromocta... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/Makefile...