CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell@cs.unipr.it 2005-04-27 21:45:24 Modified files: src : Grid_simplify.cc Grid_public.cc Grid_nonpublic.cc Grid_minimize.cc Grid_conversion.cc Grid.inlines.hh Grid.defs.hh Log message: Take out all saturation matrix code, polyhedron method descriptions, some tracing, the polyhedron related parts of exception messages, and the methods obtain_sorted_congruences, obtain_sorted_generators, obtain_sorted_congruences_with_sat_c and obtain_sorted_generators_with_sat_g. Only pass the source and destination systems to the conversion and simplify methods. Revert some of the temporarily public methods to private. Clean up the minimize methods and enclose them in a namespace block. Conversion Enclose the method definitions in a namespace block. Improve comments and initial asserts. Skip multiplying the destination grid by the multiplier when the multiplier is one. Use temporary variables better in the parameter to congruence version. Reduction Neaten the reduce_line_with_line description, and some variable names in the reduce methods. Only define trailing_rows_are_zero when assertions are enabled. 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_minimize.cc.diff?cvsr... 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.inlines.hh.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot=...