Commit 0cdc7b8f authored by Daniel Le Berre's avatar Daniel Le Berre

Remove unsused parameter.

parent 6605bc5e
Pipeline #3424 passed with stages
in 43 minutes and 16 seconds
......@@ -67,7 +67,7 @@ public class ConflictMapReduceToCard extends ConflictMap {
@Override
protected BigInteger reduceUntilConflict(int litImplied, int ind,
BigInteger[] reducedCoefs, BigInteger degreeReduced, IWatchPb wpb) {
degreeReduced = reduceToCard(ind, wpb, reducedCoefs, degreeReduced);
degreeReduced = reduceToCard(ind, wpb, reducedCoefs);
this.coefMultCons = this.weightedLits.get(litImplied ^ 1);
this.coefMult = BigInteger.ONE;
this.numberOfReductions++;
......@@ -75,7 +75,7 @@ public class ConflictMapReduceToCard extends ConflictMap {
}
private BigInteger reduceToCard(int ind, IWatchPb wpb,
BigInteger[] reducedCoefs, BigInteger degreeReduced) {
BigInteger[] reducedCoefs) {
BigInteger[] tmpCoefs = new BigInteger[reducedCoefs.length];
BigInteger maxCoef = BigInteger.ZERO;
for (int i = 0; i < reducedCoefs.length; i++) {
......
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