Commit 6b85bf80 authored by Blomme Anthony's avatar Blomme Anthony
Browse files

Add multiplication and division iff coeff > 1

parent 81030b6a
......@@ -200,27 +200,36 @@ public class VERIPBSearchListener implements PBSearchListener<ISolverService> {
@Override
public void weakenOnConflict(BigInteger coeff, int p) {
this.conflict.append(" " + coeff).append(" x" + Math.abs(p)).append(" W");
this.conflict.append(" " + coeff).append(" x" + Math.abs(p))
.append(" W");
}
@Override
public void multiplyReason(BigInteger coeff) {
this.reason.append(" " + coeff).append(" *");
if (coeff.intValue() > 1) {
this.reason.append(" " + coeff).append(" *");
}
}
@Override
public void divideReason(BigInteger coeff) {
this.reason.append(" " + coeff).append(" d");
if (coeff.intValue() > 1) {
this.reason.append(" " + coeff).append(" d");
}
}
@Override
public void multiplyConflict(BigInteger coeff) {
this.conflict.append(" " + coeff).append(" *");
if (coeff.intValue() > 1) {
this.conflict.append(" " + coeff).append(" *");
}
}
@Override
public void divideConflict(BigInteger coeff) {
this.conflict.append(" " + coeff).append(" d");
if (coeff.intValue() > 1) {
this.conflict.append(" " + coeff).append(" d");
}
}
@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