Commit 031c4338 authored by leberre's avatar leberre
Browse files

Using System.arrayCopy instead of a loop (thanks PMD). Fixed srcPos.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1700 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent bb550882
......@@ -134,7 +134,7 @@ public abstract class WLClause implements Propagatable, Constr, Serializable {
// assert voc.isFalsified(mylits[1]);
// the clause is now either unit or null
// move back the literals to their initial position
System.arraycopy(mylits, 1, mylits, 0, mylits.length - 1);
System.arraycopy(mylits, 2, mylits, 1, mylits.length - 2);
mylits[mylits.length - 1] = previous;
this.voc.watch(p, this);
// propagates first watched literal
......
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