Commit 1c142032 authored by Daniel Le Berre's avatar Daniel Le Berre

Fix sonar violation.

parent d3e76979
......@@ -67,11 +67,11 @@ public class ConflictMapReduceToCard extends ConflictMap {
@Override
protected BigInteger reduceUntilConflict(int litImplied, int ind,
BigInteger[] reducedCoefs, BigInteger degreeReduced, IWatchPb wpb) {
degreeReduced = reduceToCard(ind, wpb, reducedCoefs);
BigInteger degreeFurtherReduced = reduceToCard(ind, wpb, reducedCoefs);
this.coefMultCons = this.weightedLits.get(litImplied ^ 1);
this.coefMult = BigInteger.ONE;
this.numberOfReductions++;
return degreeReduced;
return degreeFurtherReduced;
}
private BigInteger reduceToCard(int ind, IWatchPb wpb,
......
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