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

Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Tue Apr 6 11:24:24 2010 +0200

Added a couple of entries.

---

NEWS | 20 +++++++++++++++++--- 1 files changed, 17 insertions(+), 3 deletions(-)

diff --git a/NEWS b/NEWS index 835744d..74781bc 100644 --- a/NEWS +++ b/NEWS @@ -38,14 +38,28 @@ o The C and Java interfaces now support timeout computation facilities. o New configuration option `--with-gmp-build=DIR' allows to use a non-installed build of GMP in DIR.

-o New methods +o New class PIP_Problem provides a Parametric Integer Programming (PIP) + problem solver mainly based on P. Feautrier's specification. + The implementation combines a parametric dual simplex algorithm using + exact arithmetic with Gomory's cut generation. + Still under beta testing. + +o New Linear_Expression methods

- bool Linear_Expression::is_zero() const - bool Linear_Expression::all_homogeneous_terms_are_zero() const + bool is_zero() const + bool all_homogeneous_terms_are_zero() const

return true if and only if `*this' is 0, and if and only if all the homogeneous terms of `*this' are 0, respectively.

+o New Linear_Expression methods + + void add_mul_assign(Coefficient_traits::const_reference c, Variable v) + void sub_mul_assign(Coefficient_traits::const_reference c, Variable v) + + assign linear expression *this + c * v (resp., *this - c * v) to *this, + while avoiding the allocation of a temporary Linear_Expression. + o For the PPL semantic objects, other than the Pointset_Powerset and Partially_Reduced Product, there is a new method: