[PPL-devel] ppl/src Grid_public.cc Grid_nonpublic.cc Grid_ ...
Matthew Mundell
mundell at cs.unipr.it
Thu Nov 10 11:55:17 CET 2005
CVSROOT: /cvs/ppl
Module name: ppl
Branch: grids
Changes by: mundell at 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?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.82&r2=1.1.2.83
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.38&r2=1.1.2.39
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_minimize.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.20&r2=1.1.2.21
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.inlines.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.36&r2=1.1.2.37
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.70&r2=1.1.2.71
More information about the PPL-devel
mailing list