org.sat4j.minisat.constraints.pb
Class ConflictMapMerging

java.lang.Object
  org.sat4j.minisat.constraints.pb.MapPb
      org.sat4j.minisat.constraints.pb.ConflictMap
          org.sat4j.minisat.constraints.pb.ConflictMapMerging

All Implemented Interfaces:

IConflict, IDataStructurePB

public class ConflictMapMerging
extends ConflictMap

Constructor Summary

ConflictMapMerging(java.util.Map<java.lang.Integer,java.math.BigInteger> m, java.math.BigInteger d, ILits voc, int level)

Method Summary

static IConflict

createConflict(PBConstr cpb, int level)

Methods inherited from class org.sat4j.minisat.constraints.pb.ConflictMap

getBacktrackLevel, isAssertive, oldGetBacktrackLevel, oldIsAssertive, reduceInConstraint, resolve, slackConflict, slackIsCorrect, toString, updateSlack

Methods inherited from class org.sat4j.minisat.constraints.pb.MapPb

buildConstraintFromConflict, buildConstraintFromMapPb, cuttingPlane, cuttingPlane, cuttingPlane, cuttingPlane, getDegree, saturation, size

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.sat4j.minisat.constraints.pb.IDataStructurePB

buildConstraintFromConflict, buildConstraintFromMapPb, cuttingPlane, cuttingPlane, cuttingPlane, cuttingPlane, getDegree, saturation, size

Constructor Detail

ConflictMapMerging

public ConflictMapMerging(java.util.Map<java.lang.Integer,java.math.BigInteger> m,
                          java.math.BigInteger d,
                          ILits voc,
                          int level)

Method Detail

createConflict

public static IConflict createConflict(PBConstr cpb,
                                       int level)