[PPL-devel] ppl/src ConSys.cc GenSys.cc Matrix.cc Matrix.d ...

[Enea Zaffanella]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	zaffanella at 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&r1=1.62&r2=1.63
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=ppl&r1=1.81&r2=1.82
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=ppl&r1=1.57&r2=1.58
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsroot=ppl&r1=1.45&r2=1.46
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r1=1.53&r2=1.54
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=ppl&r1=1.69&r2=1.70
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=ppl&r1=1.29&r2=1.30