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

Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Apr 2 09:04:15 2012 +0200

Corrected typo.

---

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

diff --git a/NEWS b/NEWS index 97ed008..1b83c0f 100644 --- a/NEWS +++ b/NEWS @@ -20,7 +20,7 @@ o Added new Box<ITV> methods

bool has_upper_bound(Variable var, Coefficient& n, Coefficient& d, bool& closed) const; - bool has_upper_bound(Variable var, + bool has_lower_bound(Variable var, Coefficient& n, Coefficient& d, bool& closed) const;

to query a non-empty box for the existence and value of its upper/lower