[PPL-devel] ppl/src Linear_Expression.defs.hh Grid_public. ...

[Matthew Mundell]

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	grids
Changes by:	mundell at cs.unipr.it	2005-08-01 18:28:52

Modified files:
	src            : Linear_Expression.defs.hh Grid_public.cc 
	                 Generator_System.defs.hh Generator_System.cc 
	                 Generator.defs.hh Generator.cc 
	                 Congruence_System.cc 

Log message:
	Enable Congruence_System::affine_preimage and Grid::affine_image.
	
	Add parameter check_normalization to Generator::OK, which determines
	if normalization is checked.  Add parameter check_normalization to
	Generator_System methods OK and insert, which is passed through to
	Generator::OK.  Skip the normalization checks for the Grid generator
	system.
	
	Add parameter grid to Generator_System::affine_image, which determines
	if strong_normalize and remove_invalid_lines_and_rays are called.
	
	In add_generator normalize the generator's divisor after the generator
	is inserted.
	
	Declare Grid and Congruence_System friends of Linear_Expression.

Patches:
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.1&r2=1.8.2.2
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.42&r2=1.1.2.43
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.defs.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.7.2.2&r2=1.7.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.6.2.8&r2=1.6.2.9
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.103.2.4&r2=1.103.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.59.2.1&r2=1.59.2.2
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.17&r2=1.1.2.18