org.sat4j.minisat.constraints.pb
Class ConflictMapCardinality

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

All Implemented Interfaces:

IConflict, IDataStructurePB

public class ConflictMapCardinality
extends ConflictMap

Constructor Summary

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

Method Summary

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

createConflict, 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

ConflictMapCardinality

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