[PPL-devel] ppl/src Grid_public.cc Grid_nonpublic.cc Grid. ...

[Matthew Mundell]

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	grids
Changes by:	mundell at cs.unipr.it	2005-11-15 12:33:54

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

Log message:
	Always set zero dim universe via set_zero_dim_univ().  Insert a point
	in set_zero_dim_univ().  Create a correctly sized gen_sys in
	set_empty().
	
	In the bounding box grid constructor move the generator system flag
	setting into the space_dim > 0 case.  In the covering box grid
	constructor jump over the sorted flag clearing when an empty grid is
	produced.
	
	In construct(gs,) set space_dim before the empty test and set zero dim
	universe when required.  In Grid(n,kind) set zero dim universe when
	required.  Handle the zero dimension case in minimized_congruences().
	
	In generators() just return gen_sys when the grid is marked empty,
	return the actual gen_sys for zero dim universe, ensure that gen_sys
	is up to date, and convert any parameters to points.
	
	In the zero dim cases of add_recycled_congruences_and_minimize and
	add_recycled_congruences set empty or zero dim universe only if
	required.

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.87&r2=1.1.2.88
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.40&r2=1.1.2.41
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.40&r2=1.1.2.41