[PPL-devel] [GIT] ppl/ppl(master): Parameter irrational_precision made available in all language interfaces.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon May 11 18:56:11 2009 +0200

Parameter irrational_precision made available in all language interfaces.

---

 interfaces/C/ppl_c_header.h                        |   18 +++++++++++++++++
 interfaces/C/ppl_c_implementation_common.cc        |   14 +++++++++++++
 interfaces/Java/jni/ppl_java_globals.cc            |   20 +++++++++++++++++++
 .../Parma_Polyhedra_Library.java                   |   21 ++++++++++++++++---
 .../Java/tests/Parma_Polyhedra_Library_test1.java  |    2 +
 interfaces/OCaml/OCaml_interface.dox               |    9 ++++++++
 interfaces/OCaml/ppl_ocaml_common.cc               |   18 +++++++++++++++++
 interfaces/OCaml/ppl_ocaml_globals.ml              |    6 +++++
 interfaces/OCaml/ppl_ocaml_globals.mli             |    6 +++++
 interfaces/OCaml/tests/test1.ml                    |    4 +++
 interfaces/Prolog/Prolog_interface.dox             |   14 +++++++++++++
 ...erface_generator_prolog_procedure_generators.m4 |    2 +
 interfaces/Prolog/ppl_prolog_common.cc             |   20 +++++++++++++++++++
 interfaces/Prolog/ppl_prolog_common.defs.hh        |    6 +++++
 interfaces/Prolog/tests/pl_check.pl                |   14 ++++++++++++-
 15 files changed, 169 insertions(+), 5 deletions(-)

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