[PPL-devel] [GIT] ppl/ppl(master): Revised the implementation for

[Patricia Hill]

Module: ppl/ppl
Branch: master
Commit: f73f6b6af1deb322d9ad299612e99e673b202860
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f73f6b6af1deb322d9ad299612e99e673b202860

Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Wed Apr  1 13:27:14 2009 +0100

Revised the implementation for
Box<ITV>::limited_cc76_extrapolation_assign()
so as to use the limiting constraint system to limit the widened box.
The FIXME(0.10.1) there is now removed.

---

 src/Box.defs.hh                        |    7 +
 src/Box.templates.hh                   |   73 +++++++-
 tests/Box/Makefile.am                  |    3 +
 tests/Box/limitedcc76extrapolation1.cc |  316 ++++++++++++++++++++++++++++++++
 4 files changed, 397 insertions(+), 2 deletions(-)

Diff:   http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=f73f6b6af1deb322d9ad299612e99e673b202860