Commit 504d5caa authored by Blomme Anthony's avatar Blomme Anthony
Browse files

Notify the listener when a clause is inferred after a saturation

parent 7e7177dc
Pipeline #15877 passed with stages
in 44 minutes and 18 seconds
......@@ -194,6 +194,7 @@ public class MapPb implements IDataStructurePB {
// a clause has been learned
if (minimum.equals(this.degree)
&& minimum.compareTo(BigInteger.ONE) > 0) {
listener.divideConflict(this.degree);
this.degree = BigInteger.ONE;
for (int ind = 0; ind < size(); ind++) {
changeCoef(ind, BigInteger.ONE);
......
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