[PPL-devel] [GIT] ppl/ppl(ppl-1_0-branch): Added a few recent changes regarding the Java language interface.

[Enea Zaffanella]

Module: ppl/ppl
Branch: ppl-1_0-branch
Commit: 7359bbdd37416988a4ac76220855f7687ac108fd
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7359bbdd37416988a4ac76220855f7687ac108fd

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed Aug  8 15:04:55 2012 +0200

Added a few recent changes regarding the Java language interface.

---

 NEWS |   24 ++++++++++++++++++++++++
 1 files changed, 24 insertions(+), 0 deletions(-)

diff --git a/NEWS b/NEWS
index fac7d33..0957671 100644
--- a/NEWS
+++ b/NEWS
@@ -9,6 +9,30 @@ Parma Polyhedra Library NEWS -- history of user-visible changes
 ===============================================================
 
 --------------------------------------------------------------------------
+NEWS for version 1.1  (released date to be decided)
+--------------------------------------------------------------------------
+
+New and Changed Features
+========================
+
+o  In the Java language interface:
+
+    - The constraint/generator/... system classes now extend the ArrayList
+      generic container (rather than Vector);
+
+    - Variable objects are now built from a long (rather than int) value,
+      thereby matching the type used elsewhere for space dimensions;
+
+    - added new static method to Variable class
+          void setStringifier(Variable_Stringifier)
+      where Variable_Stringifier is an interface allowing for
+      customization of the output routine for variable's names
+      (see example in interfaces/Java/tests/Variable_Output_test1.java);
+
+    - added value NOT_EQUAL to enumeration Relation_Symbol.
+
+
+--------------------------------------------------------------------------
 NEWS for version 1.0  (released on June 28, 2012)
 --------------------------------------------------------------------------