[PPL-devel] ppl/src Grid_simplify.cc Grid_public.cc Grid_n ...

[Matthew Mundell]

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	grids
Changes by:	mundell at 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?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.1&r2=1.1.2.2
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.2&r2=1.1.2.3
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.1&r2=1.1.2.2
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.1&r2=1.1.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_conversion.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.1&r2=1.1.2.2
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.1&r2=1.1.2.2
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.1&r2=1.1.2.2