[PPL-devel] [GIT] ppl/ppl(master): Added a couple of entries.

[Enea Zaffanella]

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

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