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

Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue Mar 30 09:06:27 2010 +0100

Almost complete (but untested) Java interface to the PIP_Problem

---

interfaces/Java/jni/ppl_java_common.cc | 157 ++++ interfaces/Java/jni/ppl_java_common.defs.hh | 91 +++ interfaces/Java/jni/ppl_java_globals.cc | 822 ++++++++++++++++++++ .../Artificial_Parameter.java | 70 ++ .../Artificial_Parameter_Sequence.java | 44 + .../Artificial_Parameter_Sequence_Iterator.java | 57 ++ .../Constraint_System_Iterator.java | 53 ++ .../Java/parma_polyhedra_library/Makefile.am | 44 + .../parma_polyhedra_library/PIP_Decision_Node.java | 37 + .../Java/parma_polyhedra_library/PIP_Problem.java | 330 ++++++++ .../PIP_Problem_Control_Parameter_Name.java | 32 + .../PIP_Problem_Control_Parameter_Value.java | 38 + .../PIP_Problem_Status.java | 37 + .../parma_polyhedra_library/PIP_Solution_Node.java | 43 + .../parma_polyhedra_library/PIP_Tree_Node.java | 84 ++ 15 files changed, 1939 insertions(+), 0 deletions(-)

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