Skip to content

GitLab

Commit febe5b72 authored by Daniel Le Berre's avatar Daniel Le Berre
Browse files
Options

Fix for sonarqube violation.

parent 8f9449d1
Hide whitespace changes
Inline Side-by-side
Showing with 2 additions and 1 deletion
org.sat4j.pb/src/main/java/org/sat4j/pb/tools/PreprocCardConstrLearningSolver.java
View file @ febe5b72
...@@ -132,8 +132,9 @@ public class PreprocCardConstrLearningSolver<S extends IPBSolver> ...@@ -132,8 +132,9 @@ public class PreprocCardConstrLearningSolver<S extends IPBSolver>
newMinBound = newMinBound.add(weights.get(i)); newMinBound = newMinBound.add(weights.get(i));
} }
if (this.objMinBound == null if (this.objMinBound == null
|| this.objMinBound.compareTo(newMinBound) == -1) || this.objMinBound.compareTo(newMinBound) < 0) {
this.objMinBound = newMinBound; this.objMinBound = newMinBound;
}
} }
private void rissPreprocessing() { private void rissPreprocessing() {
......
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