[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-27 21:45:24

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:
	Take out all saturation matrix code, polyhedron method descriptions,
	some tracing, the polyhedron related parts of exception messages, and
	the methods obtain_sorted_congruences, obtain_sorted_generators,
	obtain_sorted_congruences_with_sat_c and
	obtain_sorted_generators_with_sat_g.
	
	Only pass the source and destination systems to the conversion and
	simplify methods.  Revert some of the temporarily public methods to
	private.  Clean up the minimize methods and enclose them in a
	namespace block.
	
	Conversion
	
	Enclose the method definitions in a namespace block.  Improve
	comments and initial asserts.  Skip multiplying the destination grid
	by the multiplier when the multiplier is one.  Use temporary
	variables better in the parameter to congruence version.
	
	Reduction
	
	Neaten the reduce_line_with_line description, and some variable
	names in the reduce methods.  Only define trailing_rows_are_zero
	when assertions are enabled.

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.8&r2=1.1.2.9
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.6&r2=1.1.2.7
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.4&r2=1.1.2.5
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.5&r2=1.1.2.6
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.4&r2=1.1.2.5
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.3&r2=1.1.2.4
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.5&r2=1.1.2.6