[GIT] ppl/ppl(master): Several improvements and bug fixes.

Module: ppl/ppl Branch: master Commit: f107b625cb25255644e8cbf4397f7bbde3c529a9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f107b625cb252...
Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Wed Mar 31 15:12:20 2010 +0100
Several improvements and bug fixes. Removed unwanted iterator class for Artificial_Parameter_Sequence.
---
interfaces/Java/jni/ppl_java_common.cc | 11 + interfaces/Java/jni/ppl_java_common.defs.hh | 9 + interfaces/Java/jni/ppl_java_globals.cc | 285 ++++---------------- .../Artificial_Parameter.java | 25 +- .../Artificial_Parameter_Sequence.java | 6 + .../Artificial_Parameter_Sequence_Iterator.java | 57 ---- .../Java/parma_polyhedra_library/Makefile.am | 4 - .../parma_polyhedra_library/PIP_Tree_Node.java | 24 +-- interfaces/Java/tests/PIP_Problem_test1.java | 27 +- 9 files changed, 104 insertions(+), 344 deletions(-)
Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=f107b625c...
participants (1)
-
Patricia Hill