[PPL-devel] [GIT] ppl/ppl(master): Added a few recent changes regarding the Java language interface.
Enea Zaffanella
zaffanella at cs.unipr.it
Wed Aug 8 15:05:41 CEST 2012
Module: ppl/ppl
Branch: master
Commit: 88cf8d3fe09f92b4ad6ab36245d0e705c22ed3bc
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=88cf8d3fe09f92b4ad6ab36245d0e705c22ed3bc
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)
--------------------------------------------------------------------------
More information about the PPL-devel
mailing list