Commit 13e2c6a5 authored by leberre's avatar leberre

Fixed prime implicant computation when using internal variables (e.g. maxsat...

Fixed prime implicant computation when using internal variables (e.g. maxsat case). See Bug65 test case.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1720 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 59dda784
......@@ -1371,7 +1371,7 @@ public class Solver<D extends DataStructureFactory> implements ISolverService,
if (this.learnedLiterals.size() > 0) {
this.qhead = trail.size();
}
this.prime = new int[nVars() + 1];
this.prime = new int[realNumberOfVariables() + 1];
int p;
for (int i = 0; i < this.prime.length; i++) {
this.prime[i] = 0;
......
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