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

Author: Enea Zaffanella zaffanella@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) --------------------------------------------------------------------------