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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Apr 10 12:16:46 2010 +0200

Added a point about the new drop_some_non_integer_points() methods.

---

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

diff --git a/NEWS b/NEWS index 88347c0..0ed5d9e 100644 --- a/NEWS +++ b/NEWS @@ -23,6 +23,16 @@ o New "deterministic" timeout computation facilities: it is now possible from the actual computation environment (CPU, operating system, etc.). Still under beta testing.

+o All the PPL semantic objects provide new methods + + void drop_some_non_integer_points(Complexity_Class) + void drop_some_non_integer_points(const Variables_Set&, + Complexity_Class) + + which possibly tighten the object by dropping some points with + non-integer coordinates (for the space dimensions corresponding to + `vars'), within a certain computational complexity bound. + o New Linear_Expression methods

bool is_zero() const