Commit 09815de6 authored by Daniel Le Berre's avatar Daniel Le Berre
Browse files

Merge branch 'VERIPB2' of https://gitlab.ow2.org/sat4j/sat4j into VERIPB

parents 93082e16 08d180fa
......@@ -185,22 +185,22 @@ public class VERIPBSearchListener implements PBSearchListener<ISolverService> {
@Override
public void weakenOnReason(int p) {
this.reason.append(" " + 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(" " + p).append(" W");
this.reason.append(" " + coeff).append(" x" + Math.abs(p)).append(" W");
}
@Override
public void weakenOnConflict(int p) {
this.conflict.append(" " + 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(" " + p).append(" W");
this.conflict.append(" " + coeff).append(" x" + Math.abs(p)).append(" W");
}
@Override
......@@ -242,4 +242,4 @@ public class VERIPBSearchListener implements PBSearchListener<ISolverService> {
public String toString() {
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