|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.sat4j.pb.constraints.pb.MapPb
org.sat4j.pb.constraints.pb.ConflictMap
org.sat4j.pb.constraints.pb.ConflictMapCardinality
public final class ConflictMapCardinality
Field Summary |
---|
Fields inherited from class org.sat4j.pb.constraints.pb.ConflictMap |
---|
byLevel, coefMult, coefMultCons, currentLevel, currentSlack, hasBeenReduced, numberOfReductions |
Fields inherited from class org.sat4j.pb.constraints.pb.MapPb |
---|
assertiveLiteral, degree, weightedLits |
Constructor Summary | |
---|---|
ConflictMapCardinality(PBConstr cpb,
int level)
|
Method Summary |
---|
Methods inherited from class org.sat4j.pb.constraints.pb.ConflictMap |
---|
createConflict, getBacktrackLevel, getNumberOfReductions, hasBeenReduced, isAssertive, oldGetBacktrackLevel, oldIsAssertive, ppcm, reduceInConstraint, reduceUntilConflict, resolve, slackConflict, slackIsCorrect, toString, updateSlack |
Methods inherited from class org.sat4j.pb.constraints.pb.MapPb |
---|
buildConstraintFromConflict, buildConstraintFromMapPb, cuttingPlane, cuttingPlane, cuttingPlane, cuttingPlane, getAssertiveLiteral, getDegree, isCardinality, isLongSufficient, 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.pb.constraints.pb.IDataStructurePB |
---|
buildConstraintFromConflict, buildConstraintFromMapPb, cuttingPlane, cuttingPlane, cuttingPlane, cuttingPlane, getAssertiveLiteral, getDegree, isCardinality, isLongSufficient, saturation, size |
Constructor Detail |
---|
public ConflictMapCardinality(PBConstr cpb, int level)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |