[PPL-devel] [GIT] ppl/ppl(master): Method Box::refine_with is now based on (single step ) constraint propagation.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Tue May 12 18:58:02 2009 +0200

Method Box::refine_with is now based on (single step) constraint propagation.
Method Box::propagate_constraints now also take as input a parameter for
specifying the maximum number of iterations (default value 0).
The constructor of a Box from a Polyhedron in polynomial time sets this
parameter to a constant.
The known result of several tests adapted to match the increased precision.

---

 src/Box.defs.hh                    |   53 +++++++++++++++++------
 src/Box.inlines.hh                 |    5 +-
 src/Box.templates.hh               |   33 ++++++++++----
 tests/Box/frompolyhedron2.cc       |   45 +++++++------------
 tests/Box/refinewithconstraint1.cc |   12 +----
 tests/Powerset/frompolyhedron1.cc  |   84 ++++++++++++++----------------------
 6 files changed, 118 insertions(+), 114 deletions(-)

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