[PPL-devel] [GIT] ppl/ppl(pip): PIP_Problem can handle strict inequalities: corresponding checks removed.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Tue Nov 24 15:22:01 2009 +0100

PIP_Problem can handle strict inequalities: corresponding checks removed.
Got rid of internal status SATISFIABLE, which was unused.
Corrected several minor typos (missing spaces) in exception messages.
Added a new test (pipproblem2.cc, test09) showing what seems to be a bug.

---

 src/PIP_Problem.cc               |   34 +++++------------------------
 src/PIP_Problem.defs.hh          |   18 ++++++---------
 src/PIP_Problem.templates.hh     |   27 +++++++++--------------
 tests/PIP_Problem/exceptions1.cc |   16 ++++---------
 tests/PIP_Problem/pipproblem2.cc |   43 ++++++++++++++++++++++++++++++++++---
 5 files changed, 68 insertions(+), 70 deletions(-)

Diff:   http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=e46ac63881ab9d0da94232bda7ef8c358e921c19