Module: ppl/ppl Branch: pip Commit: 3aedf16a94add5e6e493936b77aa6bee869074d5 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3aedf16a94add... Author: François Galea <francois.galea@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; }