[PPL-devel] ppl/src Box.defs.hh Box.templates.hh
Roberto Bagnara
bagnara at cs.unipr.it
Tue Mar 13 17:43:49 CET 2007
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: bagnara at cs.unipr.it 2007-03-13 17:43:49
Modified files:
src : Box.defs.hh Box.templates.hh
Log message:
New implementation of Box<Interval>::refine_no_check(const Constraint&).
Added declaration and fake definition for
Box<Interval>::limited_CC76_extrapolation_assign(const Box&,
const Constraint_System&, unsigned).
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=ppl&r1=1.22&r2=1.23
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvsroot=ppl&r1=1.35&r2=1.36
More information about the PPL-devel
mailing list