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

Module: ppl/ppl Branch: master Commit: 8c640b9acf6657f971377a9f80fce5e55aabbb9a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8c640b9acf665...
Author: Enea Zaffanella zaffanella@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=8c640b9ac...
participants (1)
-
Enea Zaffanella