CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell@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?cv... 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_conversion.cc.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.inlines.hh.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.defs.hh.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.defs.hh....