Commit a8e40240 authored by leberre's avatar leberre

Need to initialize twice the heuristics to prevent some problems when aborting early.

TDO: find a better way to fix the issue.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@320 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 385db941
......@@ -1041,7 +1041,8 @@ public class Solver<D extends DataStructureFactory>
slistener.start();
model = null; // forget about previous model
fullmodel = null;
order.init();
// propagate constraints
Constr confl = propagate();
if (confl != null) {
......@@ -1070,7 +1071,7 @@ public class Solver<D extends DataStructureFactory>
rootLevel = decisionLevel();
// moved initialization here if new literals are added in the assumptions.
order.init();
order.init(); // duplicated on purpose
learner.init();
restarter.init(params);
......
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