Commit 0fae1d62 authored by Romain Wallon's avatar Romain Wallon
Browse files

🐛 MaxDegree is now fixed

parent 78381ecc
......@@ -42,15 +42,6 @@ public class DegreeModifierPBPreprocessing extends AbstractPBPreprocessing {
NullPBPreprocessing.instance());
}
public static PBPreprocessing newMinDegree(PBPreprocessing next) {
return new DegreeModifierPBPreprocessing(i -> i - 1, next);
}
public static PBPreprocessing newMinDegree() {
return new DegreeModifierPBPreprocessing(i -> i - 1,
NullPBPreprocessing.instance());
}
@Override
protected List<PBPreprocessingConstraint> internalPreprocess(
List<PBPreprocessingConstraint> constraints) {
......@@ -85,8 +76,8 @@ public class DegreeModifierPBPreprocessing extends AbstractPBPreprocessing {
this.stats.incNbChangedDegree();
}
return PBPreprocessingConstraint.newAtLeast(constraint.getLiterals(),
constraint.getCoeffs(), BigInteger.valueOf(degree));
return PBPreprocessingConstraint.newAtLeast(normalized.getLiterals(),
normalized.getCoeffs(), BigInteger.valueOf(degree));
}
}
Supports Markdown
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