[PPL-devel] ppl src/Congruence.defs.hh src/Congruence.inli ...

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	interfaces
Changes by:	bagnara at cs.unipr.it	2006-06-11 09:13:49

Modified files:
	src            : Congruence.defs.hh Congruence.inlines.hh 
	                 Congruence_System.cc Direct_Product.defs.hh 
	                 Direct_Product.inlines.hh Grid.defs.hh 
	                 Grid.inlines.hh Grid.templates.hh 
	                 Grid_Generator.cc Grid_Generator.defs.hh 
	                 Grid_Generator_System.cc 
	                 Grid_Generator_System.defs.hh Grid_chdims.cc 
	                 Grid_conversion.cc Grid_public.cc 
	                 Grid_simplify.cc Grid_widenings.cc 
	                 Linear_Expression.cc Linear_Expression.defs.hh 
	                 Makefile.am Polyhedron.defs.hh globals.defs.hh 
	tests          : print.cc 
	tests/Grid     : Makefile.am addcongruence1.cc 
	                 addcongruences1.cc addgenerator1.cc 
	                 addgenerators1.cc addspacedims1.cc 
	                 affinedim1.cc affineimage1.cc affineimage2.cc 
	                 affinepreimage1.cc affinepreimage2.cc 
	                 asciidumpload1.cc asciidumpload2.cc 
	                 bhz03widening1.cc bounded1.cc boundingbox1.cc 
	                 boundingbox2.cc bounds1.cc certificate1.cc 
	                 concatenate1.cc congruences1.cc congruences2.cc 
	                 contains1.cc coveringbox1.cc coveringbox2.cc 
	                 discrete1.cc disjoint1.cc equals1.cc 
	                 expandspacedim1.cc foldspacedims1.cc 
	                 generalizedaffineimage1.cc 
	                 generalizedaffineimage2.cc 
	                 generalizedaffinepreimage1.cc 
	                 generalizedaffinepreimage2.cc generator1.cc 
	                 generators1.cc grid1.cc grid3.cc 
	                 griddifference1.cc intersection1.cc isempty1.cc 
	                 join1.cc join2.cc limitedextrapolation1.cc 
	                 limitedextrapolation2.cc 
	                 limitedextrapolation3.cc mapspacedims1.cc 
	                 maxmin1.cc membytes1.cc mingenerators1.cc 
	                 outputoperator1.cc relations2.cc relations3.cc 
	                 removespacedims1.cc removespacedims2.cc 
	                 timeelapse1.cc topclosed1.cc widening1.cc 
	                 widening2.cc widening3.cc 
Added files:
	src            : Direct_Product.templates.hh 
	tests/Grid     : asciidumpload7.cc directproduct1.cc 

Log message:
	First merge from the main trunk.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.templates.hh?cvsroot=ppl&only_with_tag=interfaces&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.defs.hh.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.11&r2=1.11.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.inlines.hh.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.10&r2=1.10.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.16&r2=1.16.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.defs.hh.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.1&r2=1.1.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.inlines.hh.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.1&r2=1.1.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.20&r2=1.20.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.inlines.hh.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.7&r2=1.7.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.templates.hh.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.9&r2=1.9.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.12&r2=1.12.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.defs.hh.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.20&r2=1.20.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.12&r2=1.12.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.defs.hh.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.15&r2=1.15.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_chdims.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.7&r2=1.7.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_conversion.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.12&r2=1.12.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.27&r2=1.27.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.24&r2=1.24.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_widenings.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.8&r2=1.8.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.11&r2=1.11.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.defs.hh.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.25&r2=1.25.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.153&r2=1.153.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.297&r2=1.297.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.defs.hh.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.36&r2=1.36.6.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.25&r2=1.25.6.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/asciidumpload7.cc?cvsroot=ppl&only_with_tag=interfaces&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct1.cc?cvsroot=ppl&only_with_tag=interfaces&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.36&r2=1.36.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addcongruence1.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.10&r2=1.10.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addcongruences1.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.13&r2=1.13.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addgenerator1.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.11&r2=1.11.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addgenerators1.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.11&r2=1.11.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addspacedims1.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.11&r2=1.11.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/affinedim1.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.9&r2=1.9.6.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/affineimage1.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.10&r2=1.10.8.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/affineimage2.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.7&r2=1.7.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/affinepreimage1.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.8&r2=1.8.8.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/affinepreimage2.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.4&r2=1.4.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/asciidumpload1.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.10&r2=1.10.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/asciidumpload2.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.3&r2=1.3.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/bhz03widening1.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.8&r2=1.8.8.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/bounded1.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.10&r2=1.10.6.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/boundingbox1.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.9&r2=1.9.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/boundingbox2.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.8&r2=1.8.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/bounds1.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.12&r2=1.12.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/certificate1.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.10&r2=1.10.8.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/concatenate1.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.11&r2=1.11.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/congruences1.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.9&r2=1.9.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/congruences2.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.1&r2=1.1.6.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/contains1.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.9&r2=1.9.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/coveringbox1.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.8&r2=1.8.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/coveringbox2.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.8&r2=1.8.8.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/discrete1.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.4&r2=1.4.6.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/disjoint1.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.8&r2=1.8.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/equals1.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.9&r2=1.9.6.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/expandspacedim1.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.8&r2=1.8.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/foldspacedims1.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.8&r2=1.8.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generalizedaffineimage1.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.9&r2=1.9.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generalizedaffineimage2.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.8&r2=1.8.8.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generalizedaffinepreimage1.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.10&r2=1.10.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generalizedaffinepreimage2.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.10&r2=1.10.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generator1.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.16&r2=1.16.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generators1.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.10&r2=1.10.6.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid1.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.15&r2=1.15.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid3.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.17&r2=1.17.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/griddifference1.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.9&r2=1.9.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/intersection1.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.8&r2=1.8.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/isempty1.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.5&r2=1.5.8.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/join1.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.12&r2=1.12.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/join2.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.7&r2=1.7.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/limitedextrapolation1.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.9&r2=1.9.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/limitedextrapolation2.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.3&r2=1.3.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/limitedextrapolation3.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.2&r2=1.2.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/mapspacedims1.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.8&r2=1.8.8.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/maxmin1.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.9&r2=1.9.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/membytes1.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.5&r2=1.5.8.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/mingenerators1.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.7&r2=1.7.8.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/outputoperator1.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.6&r2=1.6.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/relations2.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.11&r2=1.11.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/relations3.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.3&r2=1.3.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/removespacedims1.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.11&r2=1.11.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/removespacedims2.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.10&r2=1.10.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/timeelapse1.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.8&r2=1.8.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/topclosed1.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.8&r2=1.8.6.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/widening1.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.11&r2=1.11.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/widening2.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.4&r2=1.4.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/widening3.cc.diff?cvsroot=ppl&only_with_tag=interfaces&r1=1.2&r2=1.2.2.1