Commit 3bd6a850 authored by lonca's avatar lonca

Fixed a bug that caused the solver to compute a wrong objective value while in...

Fixed a bug that caused the solver to compute a wrong objective value while in inner mode (this occured when the objective function contained variables that were internal to the solver)

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1729 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 3b43befb
......@@ -1183,7 +1183,9 @@ public class Solver<D extends DataStructureFactory> implements ISolverService,
assert nAssigns() <= this.voc.realnVars();
if (nAssigns() == this.voc.realnVars()) {
modelFound();
this.slistener.solutionFound(this.model);
this.slistener
.solutionFound((this.fullmodel != null) ? this.fullmodel
: this.model);
if (this.sharedConflict == null) {
cancelUntil(this.rootLevel);
return Lbool.TRUE;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment