[PPL-devel] ppl tests/Grid/widening1.cc tests/Grid/topclos ...
Matthew Mundell
mundell at cs.unipr.it
Mon Dec 12 21:36:01 CET 2005
CVSROOT: /cvs/ppl
Module name: ppl
Branch: grids
Changes by: mundell at cs.unipr.it 2005-12-12 21:36:01
Modified files:
tests/Grid : widening1.cc topclosure1.cc topclosed1.cc
timeelapse1.cc removespacedims2.cc
removespacedims1.cc relations2.cc relations1.cc
pointed1.cc mingenerators1.cc maxmin1.cc
mapspacedims1.cc limitedextrapolation1.cc
join3.cc join2.cc join1.cc isuniverse1.cc
intersection2.cc intersection1.cc
griddifference1.cc grid2.cc grid1.cc
generators1.cc generator1.cc
generalizedaffinepreimage2.cc
generalizedaffinepreimage1.cc
generalizedaffineimage2.cc
generalizedaffineimage1.cc foldspacedims1.cc
expandspacedim1.cc equals1.cc disjoint1.cc
coveringbox2.cc coveringbox1.cc contains2.cc
contains1.cc congruencesystem2.cc
congruences1.cc concatenate1.cc certificate1.cc
bounds1.cc boundingbox2.cc boundingbox1.cc
bounded1.cc affinepreimage1.cc affineimage1.cc
affinedim1.cc addspacedims2.cc addspacedims1.cc
addgenerator1.cc addcongruences1.cc
src : Grid_public.cc Grid_nonpublic.cc
Grid_Generator_System.defs.hh
Grid_Generator.inlines.hh
Grid_Generator.defs.hh Grid_Generator.cc
Grid.inlines.hh Grid.defs.hh
Log message:
Update Grid::map_space_dimensions() to use set_empty. Make
Grid_Generator(Generator&) explicit. Enable insertion of parameters
directly into a Grid. Update Grid::is_universe,
Grid::map_space_dimensions() and all the tests to use the grid
generator creation functions. Correct the expected values of a few
tests that use parameters.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/widening1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.7&r2=1.1.2.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/topclosure1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.2&r2=1.1.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/topclosed1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.3&r2=1.1.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/timeelapse1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.5&r2=1.1.2.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/removespacedims2.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.6&r2=1.1.2.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/removespacedims1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.9&r2=1.1.2.10
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/relations2.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.5&r2=1.1.2.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/relations1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.4&r2=1.1.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/pointed1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.2&r2=1.1.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/mingenerators1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.2&r2=1.1.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/maxmin1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.3&r2=1.1.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/mapspacedims1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.10&r2=1.1.2.11
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/limitedextrapolation1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.5&r2=1.1.2.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/join3.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.3&r2=1.1.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/join2.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.6&r2=1.1.2.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/join1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.10&r2=1.1.2.11
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/isuniverse1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.6&r2=1.1.2.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/intersection2.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.8&r2=1.1.2.9
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/intersection1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.6&r2=1.1.2.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/griddifference1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.7&r2=1.1.2.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid2.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.19&r2=1.1.2.20
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.23&r2=1.1.2.24
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generators1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.2&r2=1.1.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generator1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.2&r2=1.1.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generalizedaffinepreimage2.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.4&r2=1.1.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generalizedaffinepreimage1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.5&r2=1.1.2.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generalizedaffineimage2.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.5&r2=1.1.2.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generalizedaffineimage1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.4&r2=1.1.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/foldspacedims1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.5&r2=1.1.2.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/expandspacedim1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.5&r2=1.1.2.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/equals1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.3&r2=1.1.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/disjoint1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.2&r2=1.1.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/coveringbox2.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.6&r2=1.1.2.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/coveringbox1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.8&r2=1.1.2.9
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/contains2.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.3&r2=1.1.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/contains1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.5&r2=1.1.2.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/congruencesystem2.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.9&r2=1.1.2.10
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/congruences1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.4&r2=1.1.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/concatenate1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.5&r2=1.1.2.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/certificate1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.3&r2=1.1.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/bounds1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.2&r2=1.1.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/boundingbox2.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.4&r2=1.1.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/boundingbox1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.8&r2=1.1.2.9
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/bounded1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.3&r2=1.1.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/affinepreimage1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.8&r2=1.1.2.9
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/affineimage1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.8&r2=1.1.2.9
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/affinedim1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.2&r2=1.1.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addspacedims2.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.8&r2=1.1.2.9
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addspacedims1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.10&r2=1.1.2.11
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addgenerator1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.14&r2=1.1.2.15
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addcongruences1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.2&r2=1.1.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.114&r2=1.1.2.115
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.57&r2=1.1.2.58
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.defs.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.8&r2=1.1.2.9
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.inlines.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.11&r2=1.1.2.12
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.defs.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.12&r2=1.1.2.13
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.5&r2=1.1.2.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.inlines.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.45&r2=1.1.2.46
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.87&r2=1.1.2.88
More information about the PPL-devel
mailing list