[PPL-devel] [GIT] ppl/ppl(master): Almost complete (but untested) Java interface to the PIP_Problem

[Patricia Hill]

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

Author: Patricia Hill <p.m.hill at 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=dae0d2224e1ebd9a073a6b7ee1f2755c0420d4ea