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

Author: Enea Zaffanella zaffanella@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=57b7091bc...