Commit 9cedb52a authored by leberre's avatar leberre

Removed activity increment in enqueue method (was a trick for explanation).

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@317 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 00d35022
......@@ -420,9 +420,9 @@ public class Solver<D extends DataStructureFactory>
voc.setLevel(p, decisionLevel());
voc.setReason(p, from);
trail.push(p);
if (from!=null) {
from.incActivity(claInc);
}
// if (from!=null) {
// from.incActivity(claInc);
// }
return 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