[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-04-26 20:54:48

Modified files:
	src            : Grid_simplify.cc 

Log message:
	Use the new is_virtual and set_is_virtual methods instead of the old
	virtual row functions.  Clean up many of the temporary comments and
	some of the others.  Improve variable names.  Take out some of the
	trace printing.  Improve the loop used to iterate through the
	preceding rows in the congruence reduction.  Move the congruence
	reduction OK assertion so that is is called in every return case.
	Save doing one of the comparisons in the empty grid check at the end
	of the congruence reduction.

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