CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2003-04-13 13:12:54

Modified files: src : ConSys.cc GenSys.cc Matrix.cc Matrix.defs.hh Row.cc Row.defs.hh simplify.cc

Log message: Added a boolean parameter to Matrix::OK() to control whether or not we also want to check for strong normalization of the rows in the matrix. Strong normalization is now checked when this might be useful, i.e., avoiding bare repetitions of the same check. Also added a method Row::check_strongly_normalized() with the obvious semantics.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&am... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=p...