CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell@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?cvsr... 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/Grid_nonpublic.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.inli... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.defs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.inlines.hh.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.cc.diff?...