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

Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Tue Jul 31 14:35:42 2012 +0200

Use ArrayList instead of Vector for (constraints, ...) systems in Java. Added a paragraph to the introduction of the user manual to stress that the PPL *_System classes extend ArrayList. While at it, removed many useless import directives. Also fixed a couple of indentation issues.

---

.../Artificial_Parameter.java | 3 -- .../Artificial_Parameter_Sequence.java | 5 +-- .../Java/parma_polyhedra_library/Congruence.java | 3 -- .../parma_polyhedra_library/Congruence_System.java | 5 +-- .../Java/parma_polyhedra_library/Constraint.java | 3 -- .../parma_polyhedra_library/Constraint_System.java | 5 +-- .../Java/parma_polyhedra_library/Generator.java | 4 -- .../parma_polyhedra_library/Generator_System.java | 5 +-- .../parma_polyhedra_library/Grid_Generator.java | 2 - .../Grid_Generator_System.java | 6 +-- .../parma_polyhedra_library/Linear_Expression.java | 3 -- .../Java/parma_polyhedra_library/MIP_Problem.java | 3 -- .../parma_polyhedra_library/PIP_Decision_Node.java | 3 -- .../Java/parma_polyhedra_library/PIP_Problem.java | 3 -- .../parma_polyhedra_library/PIP_Solution_Node.java | 3 -- .../parma_polyhedra_library/PIP_Tree_Node.java | 3 -- .../Parma_Polyhedra_Library.java | 18 +++++++++++- .../ppl_interface_generator_java_classes_java.m4 | 3 -- interfaces/Java/tests/C_Polyhedron_test1.java | 21 ++++++-------- interfaces/Java/tests/MIP_Problem_test1.java | 22 ++++++-------- interfaces/Java/tests/NNC_Polyhedron_test1.java | 22 ++++++-------- interfaces/Java/tests/PIP_Problem_test1.java | 30 ++++++++----------- interfaces/Java/tests/PPL_Test.java | 2 - .../Java/tests/Parma_Polyhedra_Library_test1.java | 22 ++++++-------- .../Java/tests/Parma_Polyhedra_Library_test2.java | 18 ++++++------ interfaces/Java/tests/ppl_java_tests_common | 3 -- 26 files changed, 81 insertions(+), 139 deletions(-)

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