CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell@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.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.defs.hh.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.cc.diff?...