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

Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Mar 21 14:30:11 2012 +0100

Improved documentation for Box<ITV>::has_{upper,lower}_bound(). Weakened precondition regarding box emptiness: the box can be empty, but it can not be marked empty. Added a test to the Prolog interface.

---

.../ppl_interface_generator_prolog_dox_code.m4 | 15 ++ ...face_generator_prolog_generated_test_pl_code.m4 | 21 +++ src/Box.defs.hh | 16 ++ src/Box.inlines.hh | 10 +- src/Box.templates.hh | 157 +++++++++++--------- 5 files changed, 146 insertions(+), 73 deletions(-)

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