[PPL-devel] ppl/src Grid_simplify.cc Grid_nonpublic.cc Gri ...

[Matthew Mundell]

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

Modified files:
	src            : Grid_simplify.cc Grid_nonpublic.cc 
	                 Grid_minimize.cc 

Log message:
	Return a bool from the update_congruences and simplify methods to
	indicate whether the grid is empty.  Pass this return on in the
	minimize and add_and_minimize methods which call simplify.  Assert an
	equal number of columns in source1 and source2 in add_and_minimize\5
	(congruence to generator).
	
	In update_congruences and update_generators set the grid empty
	according to the minimize return.
	
	In both simplifys use the row number instead of the row to test if the
	original row and pivot must be swapped.  In the congruence simplify
	when adding the top row, search for a valid modulus and set the
	diagonal (and modulus) to the result of the search.

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.4&r2=1.1.2.5
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.2&r2=1.1.2.3
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.3&r2=1.1.2.4