[PPL-devel] [GIT] ppl/ppl(pip): Added call to the solver to check problem satisfiability.

[François Galea]

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

Author: François Galea <francois.galea at uvsq.fr>
Date:   Fri Oct  9 13:07:15 2009 +0200

Added call to the solver to check problem satisfiability.

---

 src/PIP_Problem.cc |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)

diff --git a/src/PIP_Problem.cc b/src/PIP_Problem.cc
index 350f065..494d7f9 100644
--- a/src/PIP_Problem.cc
+++ b/src/PIP_Problem.cc
@@ -419,5 +419,7 @@ PPL::PIP_Problem::add_constraints(const Constraint_System &cs) {
 
 bool
 PPL::PIP_Problem::is_satisfiable() const {
+  if (status == PARTIALLY_SATISFIABLE)
+    solve();
   return status == OPTIMIZED;
 }