[PPL-devel] ppl/src Grid_simplify.cc Grid_public.cc Grid_n ...

[Matthew Mundell]

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

Modified files:
	src            : Grid_simplify.cc Grid_public.cc 
	                 Grid_nonpublic.cc 
	                 Grid_Generator_System.inlines.hh 
	                 Grid_Generator_System.defs.hh Grid.inlines.hh 
	                 Congruence_System.cc 

Log message:
	[rest of previous commit]
	
	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/Grid_simplify.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.42&r2=1.1.2.43
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.119&r2=1.1.2.120
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.61&r2=1.1.2.62
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.inlines.hh.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_Generator_System.defs.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.13&r2=1.1.2.14
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.48&r2=1.1.2.49
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.36&r2=1.1.2.37