[PPL-devel] [GIT] ppl/ppl(master): Added interface code for drop_some_non-integer_points() methods.

[Patricia Hill]

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

Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Wed Mar 24 11:00:21 2010 +0000

Added interface code for drop_some_non-integer_points() methods.
Note that these are only enabled for BD_Shapes, Octagonal_Shapes
and Boxes.

---

 interfaces/C/ppl_interface_generator_c_cc_code.m4  |   51 +++++++++++++++++
 interfaces/C/ppl_interface_generator_c_h_code.m4   |   22 +++++++
 ...ppl_interface_generator_java_classes_cc_code.m4 |   59 +++++++++++++++++++
 ...l_interface_generator_java_classes_java_code.m4 |   18 ++++++
 .../OCaml/ppl_interface_generator_ocaml_cc_code.m4 |   40 +++++++++++++
 .../OCaml/ppl_interface_generator_ocaml_ml_code.m4 |   16 +++++
 .../ppl_interface_generator_ocaml_mli_code.m4      |   14 +++++
 .../ppl_interface_generator_prolog_cc_code.m4      |   60 ++++++++++++++++++++
 .../ppl_interface_generator_prolog_hh_code.m4      |   14 +++++
 ...erface_generator_common_procedure_generators.m4 |    2 +
 10 files changed, 296 insertions(+), 0 deletions(-)

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