CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell@cs.unipr.it 2005-04-15 12:06:03
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: Add much tracing. Neaten whitespace. Improve comments. Change the parameter system type to Generator_System in methods minimize and simplify. Rename convert to conversion (to match Polyhedron). Temporarily make some private methods public (for testing). Change parameterize to return the generator system and add the ability to pass a reference point to parameterize. Add static methods virtual_row and mark_virtual. Adjust is_included_in to the parameter system. Move the definition of construct to Grid_nonpublic.cc. Enable operator!=. Add conversion from parameter system to congruence system, and get both conversion methods working. Add a trace stream. Update the minimize and add_and_minimize methods. In all of these include negative values in the check for an empty grid after conversion, and always set the destination generators and generator system necessarily closed. Direct out some of the saturation matrix code. Correct the empty flag handling after adding congruences to the grid. In Grid(num_dimensions,kind) change the initial generator system topology to necessarily closed and set the congruences to minimized directly via status when the grid is empty. Update reduction (the simplify methods).
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=...