Commit ea6a7fc7 authored by leberre's avatar leberre

remove wrong call to new Integer(int). Relying on AutoBoxing.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1715 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 6e07903d
......@@ -87,10 +87,10 @@ public class BinarySupportEncoding implements Encoding {
ISolver solver) throws ContradictionException {
IVecInt clause = new VecInt();
for (IteratorInt it = v.domain().iterator() ; it.hasNext();) {
Integer key = new Integer(it.next());
int key = it.next();
clause.clear();
IVecInt support = supports.get(key);
clause.push(-v.translate(key.intValue()));
clause.push(-v.translate(key));
if (support != null) {
for (IteratorInt iterator = support.iterator() ; iterator.hasNext();)
clause.push(iterator.next());
......
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