org.sat4j.minisat.constraints.pb
Class ConflictMapCardinality

java.lang.Object
  extended by org.sat4j.minisat.constraints.pb.MapPb
      extended by org.sat4j.minisat.constraints.pb.ConflictMap
          extended by org.sat4j.minisat.constraints.pb.ConflictMapCardinality
All Implemented Interfaces:
IConflict, IDataStructurePB

public class ConflictMapCardinality
extends ConflictMap


Field Summary
 
Fields inherited from class org.sat4j.minisat.constraints.pb.ConflictMap
byLevel, coefMult, coefMultCons, currentLevel, currentSlack
 
Fields inherited from class org.sat4j.minisat.constraints.pb.MapPb
coefs, degree
 
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, ppcm, reduceInConstraint, reduceUntilConflict, 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
clone, equals, finalize, 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)


Copyright © 2007 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.