Commit 08d180fa authored by Blomme Anthony's avatar Blomme Anthony
Browse files

Fix weakening bug

parent e8f5db2b
......@@ -185,22 +185,22 @@ public class VERIPBSearchListener implements PBSearchListener<ISolverService> {
@Override
public void weakenOnReason(int p) {
this.reason.append(" x" + abs(p)).append(" w");
this.reason.append(" x" + Math.abs(p)).append(" w");
}
@Override
public void weakenOnReason(BigInteger coeff, int p) {
this.reason.append(" " + coeff).append(" x" + abs(p)).append(" W");
this.reason.append(" " + coeff).append(" x" + Math.abs(p)).append(" W");
}
@Override
public void weakenOnConflict(int p) {
this.conflict.append(" x" + abs(p)).append(" w");
this.conflict.append(" x" + Math.abs(p)).append(" w");
}
@Override
public void weakenOnConflict(BigInteger coeff, int p) {
this.conflict.append(" " + coeff).append(" x" + abs(p)).append(" W");
this.conflict.append(" " + coeff).append(" x" + Math.abs(p)).append(" W");
}
@Override
......
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