[PPL-devel] [GIT] ppl/ppl(master): Modified signature of function set_deterministic_timeout().

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed Apr 11 15:31:41 2012 +0200

Modified signature of function set_deterministic_timeout().

---

 interfaces/C/ppl_c_header.h                        |   23 +++++++++++++------
 interfaces/C/ppl_c_implementation_common.cc        |    7 ++++-
 interfaces/C/tests/weightwatch1.c                  |    4 +-
 interfaces/Java/jni/ppl_java_globals.cc            |   14 +++++++----
 .../Parma_Polyhedra_Library.java                   |   23 ++++++++++++++-----
 .../Java/tests/Parma_Polyhedra_Library_test2.java  |    2 +-
 interfaces/OCaml/ppl_ocaml_common.cc               |   12 +++++++---
 interfaces/OCaml/ppl_ocaml_globals.ml              |    2 +-
 interfaces/OCaml/ppl_ocaml_globals.mli             |    2 +-
 interfaces/OCaml/tests/test1.ml                    |    4 +-
 interfaces/Prolog/Prolog_interface_sysindep.dox    |   10 ++++++--
 ...erface_generator_prolog_procedure_generators.m4 |    2 +-
 interfaces/Prolog/ppl_prolog_common.cc             |   15 ++++++++----
 interfaces/Prolog/ppl_prolog_common.defs.hh        |    3 +-
 src/Threshold_Watcher.inlines.hh                   |    5 +++-
 src/globals.defs.hh                                |   14 ++++++++++++
 src/globals.inlines.hh                             |    9 +++++++
 17 files changed, 109 insertions(+), 42 deletions(-)

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