CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2006-09-15 15:42:53

Modified files: src : Congruence.cc Constraint.cc Generator.cc Grid_Generator.cc

Log message: Added some missing sanity checks to a few OK() methods: - Constraint::OK() and Generator::OK() no also check that the corresponding object is a valid Linear_Row; - Congruence::OK() checks that the object is a valid Row; - Grid_Generator::OK() check that the object is a valid Generator.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.cc.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.cc.diff?cvs...