[PPL-devel] ppl/src ConSys.cc Constraint.cc Constraint.defs.hh
Enea Zaffanella
zaffanella at spartacus.cs.unipr.it
Mon Oct 29 16:30:14 CET 2001
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella at cs.unipr.it 2001-10-29 16:30:14
Modified files:
src : ConSys.cc Constraint.cc Constraint.defs.hh
Log message:
Constraint::is_non_trivial() transformed into Constraint::is_trivial().
Btw, the old evrsion was still wrong.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=ppl&r1=1.14&r2=1.15
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroot=ppl&r1=1.6&r2=1.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?cvsroot=ppl&r1=1.19&r2=1.20
More information about the PPL-devel
mailing list