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

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed Mar 21 10:56:18 2012 +0100

Modified interface for Box<ITV>::has_{upper,lower}_bound.
The changes are meant to make it more similar to, e.g., maximize().
Hence, we no pass in a Variable rather than a bare dimension_type and
the boolean reference argument `closed' is the last one.

---

 interfaces/C/ppl_interface_generator_c_cc_code.m4  |    9 ++--
 interfaces/C/ppl_interface_generator_c_h_code.m4   |    8 ++--
 ...ppl_interface_generator_java_classes_cc_code.m4 |    6 +-
 ...l_interface_generator_java_classes_java_code.m4 |    4 +-
 .../ppl_interface_generator_java_test_java_code.m4 |    2 +-
 .../OCaml/ppl_interface_generator_ocaml_cc_code.m4 |   12 +++---
 .../OCaml/ppl_interface_generator_ocaml_ml_code.m4 |    2 +-
 .../ppl_interface_generator_ocaml_mli_code.m4      |    2 +-
 .../ppl_interface_generator_prolog_cc_code.m4      |    8 ++--
 .../ppl_interface_generator_prolog_hh_code.m4      |    7 +--
 src/Box.defs.hh                                    |   48 ++++++++++----------
 src/Box.inlines.hh                                 |   10 +++--
 src/Box.templates.hh                               |   39 +++++++++-------
 src/Grid.templates.hh                              |    9 ++--
 src/Polyhedron.templates.hh                        |   26 ++++++-----
 15 files changed, 100 insertions(+), 92 deletions(-)

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