Commit bb550882 authored by leberre's avatar leberre
Browse files

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

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1699 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 8a5d1cbf
......@@ -134,9 +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
for (int i = 2; i < mylits.length; i++) {
mylits[i - 1] = mylits[i];
}
System.arraycopy(mylits, 1, mylits, 0, mylits.length - 1);
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