CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell@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?cvsr...