[PPL-devel] ppl/src Grid_simplify.cc

[Matthew Mundell]

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	grids
Changes by:	mundell at cs.unipr.it	2005-05-05 10:49:21

Modified files:
	src            : Grid_simplify.cc 

Log message:
	Rename function trailing_rows_are_zero to rows_are_zero, and modify it
	to also take the last row (instead of just checking to the end).
	Update the call of this function in the congruence simplify to
	correctly check the rows at the beginning of the matrix.
	
	In the congruence simplify decrement orig_row_num in macro free_row,
	to match it to the new number of rows.

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.12&r2=1.1.2.13