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

Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Tue Sep 24 22:10:28 2013 +0200

Interfaced Polyhedron::positive_time_elapse_assign(). Various other improvements.

---

doc/definitions.dox | 39 +++++++++++--------- interfaces/C/ppl_interface_generator_c_cc_code.m4 | 21 +++++++++++ interfaces/C/ppl_interface_generator_c_h_code.m4 | 9 +++++ ...ppl_interface_generator_java_classes_cc_code.m4 | 18 +++++++++ ...l_interface_generator_java_classes_java_code.m4 | 8 ++++ .../ppl_interface_generator_java_test_java_code.m4 | 14 +++++++ .../OCaml/ppl_interface_generator_ocaml_cc_code.m4 | 27 ++++++++++++++ .../OCaml/ppl_interface_generator_ocaml_ml_code.m4 | 8 ++++ .../ppl_interface_generator_ocaml_mli_code.m4 | 7 ++++ .../ppl_interface_generator_prolog_cc_code.m4 | 28 ++++++++++++++ .../ppl_interface_generator_prolog_hh_code.m4 | 7 ++++ ...erface_generator_common_procedure_generators.m4 | 1 + src/C_Polyhedron.cc | 9 +++++ src/C_Polyhedron_defs.hh | 11 ++++++ src/NNC_Polyhedron.cc | 5 --- src/NNC_Polyhedron_defs.hh | 6 ++- src/NNC_Polyhedron_inlines.hh | 5 +++ src/Polyhedron_defs.hh | 15 +++++++- src/Polyhedron_nonpublic.cc | 2 +- 19 files changed, 212 insertions(+), 28 deletions(-)

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