Skip to content
GitLab
Commit e8f5db2b authored by Blomme Anthony's avatar Blomme Anthony
Browse files

Fix weakening bug

parent 644cead9
Hide whitespace changes
Inline Side-by-side
org.sat4j.pb/src/main/java/org/sat4j/pb/tools/VERIPBSearchListener.java
View file @ e8f5db2b
...@@ -185,22 +185,22 @@ public class VERIPBSearchListener implements PBSearchListener<ISolverService> { ...@@ -185,22 +185,22 @@ public class VERIPBSearchListener implements PBSearchListener<ISolverService> {
@Override @Override
public void weakenOnReason(int p) { public void weakenOnReason(int p) {
this.reason.append(" " + p).append(" w"); this.reason.append(" x" + abs(p)).append(" w");
} }
@Override @Override
public void weakenOnReason(BigInteger coeff, int p) { public void weakenOnReason(BigInteger coeff, int p) {
this.reason.append(" " + coeff).append(" " + p).append(" W"); this.reason.append(" " + coeff).append(" x" + abs(p)).append(" W");
} }
@Override @Override
public void weakenOnConflict(int p) { public void weakenOnConflict(int p) {
this.conflict.append(" " + p).append(" w"); this.conflict.append(" x" + abs(p)).append(" w");
} }
@Override @Override
public void weakenOnConflict(BigInteger coeff, int p) { public void weakenOnConflict(BigInteger coeff, int p) {
this.conflict.append(" " + coeff).append(" " + p).append(" W"); this.conflict.append(" " + coeff).append(" x" + abs(p)).append(" W");
} }
@Override @Override
...@@ -242,4 +242,4 @@ public class VERIPBSearchListener implements PBSearchListener<ISolverService> { ...@@ -242,4 +242,4 @@ public class VERIPBSearchListener implements PBSearchListener<ISolverService> {
public String toString() { public String toString() {
return "VERIPB"; return "VERIPB";
} }
} }
\ No newline at end of file
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