[PPL-devel] ppl/src Congruence.cc Constraint.cc Generator. ...
Enea Zaffanella
zaffanella at cs.unipr.it
Fri Sep 15 15:42:53 CEST 2006
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella at 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=ppl&r1=1.11&r2=1.12
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroot=ppl&r1=1.62&r2=1.63
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot=ppl&r1=1.71&r2=1.72
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.cc.diff?cvsroot=ppl&r1=1.15&r2=1.16
More information about the PPL-devel
mailing list