[PPL-devel] [GIT] ppl/ppl(master): Fixed problem with PIP_Problem constructor from a sequence of

30 Mar 2010


      Module: ppl/ppl
Branch: master
Commit: 332b5c15d91382bba60d1e8bbe15e4ca89af2da4
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=332b5c15d9138...
Author: Patricia Hill p.m.hill@leeds.ac.uk
Date:   Tue Mar 30 20:19:10 2010 +0100
Fixed problem with PIP_Problem constructor from a sequence of
constraints. Added code for testing this.
As there is no need for the class Constraint_System_Iterator,
Constraint_System_Iterator.java is removed.
---
interfaces/Java/jni/ppl_java_globals.cc            |  168 ++++----------------
 .../Constraint_System_Iterator.java                |   60 -------
 .../Java/parma_polyhedra_library/Makefile.am       |    4 -
 .../Java/parma_polyhedra_library/PIP_Problem.java  |   14 +-
 interfaces/Java/tests/PIP_Problem_test1.java       |   20 +++
 5 files changed, 54 insertions(+), 212 deletions(-)
Diff:   http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=332b5c15d...