[PPL-devel] ppl/src Scalar_Products.cc Linear_Expression.d ...

[Matthew Mundell]

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	grids
Changes by:	mundell at cs.unipr.it	2005-12-20 21:41:32

Modified files:
	src            : Scalar_Products.cc Linear_Expression.defs.hh 
	                 Grid_conversion.cc Grid_Generator_System.cc 
	                 Grid_Generator.inlines.hh 
	                 Grid_Generator.defs.hh Grid_Generator.cc 
	                 Grid.defs.hh Congruence_System.defs.hh 

Log message:
	Add parameter divisors, encoding the divisors in an extra trailing
	Grid_Generator column:
	
	- implement the Grid_Generator methods point, line, is_equivalent_to
	and all_homogeneous_terms_are_zero directly, instead of wrapping
	the Generator equivalents
	
	- move Grid_Generator::strong_normalize to the private section
	
	- update Grid_Generator_System to swap the divisor column any time
	the system size changes
	
	- update methods Congruence_System::satisfies_all_congruences and
	Grid::relation_with(g) to use the given generator's divisor instead
	of a divisor passed in an extra argument
	
	- update the generator reduction and congruence to generator
	conversion to ensure that the parameter divisors match the divisor
	of the first point after the reduction or conversion
	
	- adapt Grid and Scalar_Product to the extra generator column (mostly
	changes to loop indexing)
	
	- add a Grid_Generator friend declaration to Linear_Expression.
	
	Take out Grid_Generator_System(const Generator&).

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Scalar_Products.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.2.2.4&r2=1.2.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.defs.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.8.2.9&r2=1.8.2.10
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_conversion.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.30&r2=1.1.2.31
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.17&r2=1.1.2.18
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.12&r2=1.1.2.13
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.14&r2=1.1.2.15
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.7&r2=1.1.2.8
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.88&r2=1.1.2.89
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.defs.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.21&r2=1.1.2.22