Commit 62a414b1 authored by Daniel Le Berre's avatar Daniel Le Berre
Browse files

Uses a default void PBSearchListener when MapPb are not used for

conflict analysis (e.g. constraints normalization).
parent feffd5d5
......@@ -36,6 +36,7 @@ import org.sat4j.minisat.constraints.cnf.Lits;
import org.sat4j.minisat.core.VarActivityListener;
import org.sat4j.pb.IPBSolverService;
import org.sat4j.pb.tools.PBSearchListener;
import org.sat4j.pb.tools.VoidPBTracing;
import org.sat4j.specs.IVec;
import org.sat4j.specs.IVecInt;
......@@ -52,7 +53,7 @@ public class MapPb implements IDataStructurePB {
*/
protected InternalMapPBStructure weightedLits;
protected PBSearchListener<IPBSolverService> listener;
protected PBSearchListener<IPBSolverService> listener = new VoidPBTracing();
protected BigInteger degree;
......
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