[PPL-devel] [GIT] ppl/ppl(master): Improved the OCaml interfacing of PPL dimensions and coefficients.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sun Mar 29 11:46:51 2009 +0200

Improved the OCaml interfacing of PPL dimensions and coefficients.
Added new helper functions:
 - value_to_unsigned_native<U_Int>
 - ppl_dimension_to_value
 - value_to_ppl_dimension
 - mpz_ptr_val and mpz_class_val
 - build_ppl_Variable.
Prefer using Val_emptylist to Val_int(0).

---

 .../OCaml/ppl_interface_generator_ocaml_cc_code.m4 |  104 +++++------
 interfaces/OCaml/ppl_ocaml_common.cc               |  206 +++++++++-----------
 interfaces/OCaml/ppl_ocaml_common.defs.hh          |   12 +-
 interfaces/OCaml/ppl_ocaml_common.inlines.hh       |   46 ++++-
 interfaces/OCaml/tests/test1.ml                    |    8 +
 5 files changed, 201 insertions(+), 175 deletions(-)

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