[PPL-devel] [GIT] ppl/ppl(master): Use ArrayList instead of Vector for (constraints, .. .) systems in Java.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at 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=3a754d5e27f20380e6f026e7d8a335a8be14d574