[PPL-devel] [GIT] ppl/ppl(master): Improved documentation for Box<ITV>::has_{upper, lower}_bound().

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at 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=28c00aa026e4c4d55e7f61ccf46c4500265e85ec