CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell@cs.unipr.it 2005-11-10 11:55:16

Modified files: src : Grid_public.cc Grid_nonpublic.cc Grid_minimize.cc Grid.inlines.hh Grid.defs.hh

Log message: Doc param convert_rays_to_lines in Grid(gs, convert_rays_to_lines). Neaten some comment widths. Make the add_space_dimensions methods private. Note in docs where Grid maths symbols must be used. Doc the return of ascii_load formally. Shorten the convert_rays_to_lines param doc for construct(gs, convert_rays_to_lines). Use "minimize" instead of "reduce" and "generator system" instead of "parameter system". Improve a few method descriptions. Enable method total_memory_in_bytes. Take out the remaining pending row methods, strongly_minimize_congruences and strongly_minimize_generators. Void the return from minimize(cgs,ls). Swap the return cases in minimize(gs,cgs) to match the other methods that return an indication of the grid's emptiness.

Patches: 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.inlines.hh.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot=...