Commit c19d473a authored by Blomme Anthony's avatar Blomme Anthony
Browse files

rectification saturation

parent 09bb8a79
Pipeline #15923 passed with stages
in 39 minutes and 51 seconds
......@@ -756,10 +756,8 @@ public class ConflictMap extends MapPb implements IConflict {
.subtract(coefs[i]);
this.possReducedCoefs = this.possReducedCoefs.add(degree);
}
if (!(degree.equals(coefs[i]))) {
useSaturation = true;
}
coefs[i] = degree;
useSaturation = true;
} else if (comparison < 0 && coefs[i].signum() > 0) {
isMinimumEqualsToDegree = false;
}
......
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