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

Author: Enea Zaffanella zaffanella@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=e46ac6388...