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

Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Apr 22 23:59:57 2010 +0200

Added class Partial_Function to the PPL library. Java, Prolog and OCaml interfaces now use an object of this Partial_Function class when mapping the space dimensions of teh vector space. Some of the consistency checks that were performed by other variants of Partial_Function are now only done when in debugging mode.

---

interfaces/Java/jni/ppl_java_common.inlines.hh | 81 -------------------- interfaces/OCaml/ppl_ocaml_common.cc | 51 ------------ interfaces/OCaml/ppl_ocaml_common.defs.hh | 18 ----- interfaces/OCaml/ppl_ocaml_common.inlines.hh | 47 ----------- .../ppl_interface_generator_prolog_cc_code.m4 | 3 +- interfaces/Prolog/ppl_prolog_common.defs.hh | 50 ------------ interfaces/Prolog/tests/pl_check.pl | 5 - src/Affine_Space.defs.hh | 4 +- src/Any_Pointset.defs.hh | 4 +- src/BD_Shape.defs.hh | 4 +- src/Box.defs.hh | 4 +- src/Grid.defs.hh | 4 +- src/Makefile.am | 4 + src/Octagonal_Shape.defs.hh | 4 +- src/Polyhedron.defs.hh | 4 +- tests/Makefile.am | 6 +- tests/Partial_Function.cc | 80 ------------------- tests/Partial_Function.defs.hh | 61 --------------- tests/Partial_Function.inlines.hh | 44 ----------- tests/Partial_Function.types.hh | 25 ------ tests/ppl_test.cc | 2 +- tests/ppl_test.hh | 39 +++++----- 22 files changed, 41 insertions(+), 503 deletions(-)

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