[PPL-devel] ppl/src Grid_simplify.cc Grid.defs.hh

[Matthew Mundell]

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	grids
Changes by:	mundell at cs.unipr.it	2005-04-25 19:35:32

Modified files:
	src            : Grid_simplify.cc Grid.defs.hh 

Log message:
	Use strace_dump in the congruence system reduction.
	
	The previous log message should have been:
	
	Improve comments.  Split le_le_reduce into
	reduce_equality_with_equality and reduce_line_with_line.  Improve the
	names, arguments and variables of all the reduce functions.  Also
	consider the divisor in reduce_line_with_line.  Use
	Coefficient_traits::const_reference in the reduce functions.  Correct
	the assertions.  Add and use macro strace_dump and temporary tracing
	stream strace.

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.6&r2=1.1.2.7
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.3&r2=1.1.2.4