[PPL-devel] [GIT] ppl/ppl(master): Interfaced Polyhedron::positive_time_elapse_assign() .

[Roberto Bagnara]

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

Author: Roberto Bagnara <roberto.bagnara at 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=a841400f88dbf64d3af32c23d990e4620d979ee6