Commit d090e950 authored by leberre's avatar leberre

Removed reference to Solver.newVar() in GoodOPBReader.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@82 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent c460955e
......@@ -183,9 +183,9 @@ public class GoodOPBReader extends Reader implements Serializable {
}
Integer id = map.get(token);
if (id == null) {
map.put(token, id = solver.newVar());
id = decode.size()+1;
map.put(token, id);
decode.push(token);
assert decode.size() == id.intValue();
}
coeffs.push(coef);
int lid = (negative ? -1 : 1) * id.intValue();
......
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