public final class ConflictMapCardinality extends ConflictMap
byLevel, coefMult, coefMultCons, currentLevel, currentSlack, hasBeenReduced, numberOfReductions
assertiveLiteral, degree, weightedLits
Constructor and Description |
---|
ConflictMapCardinality(PBConstr cpb,
int level) |
createConflict, getBacktrackLevel, getNumberOfReductions, hasBeenReduced, isAssertive, oldGetBacktrackLevel, oldIsAssertive, ppcm, reduceInConstraint, reduceUntilConflict, resolve, slackConflict, slackIsCorrect, toString, updateSlack
buildConstraintFromConflict, buildConstraintFromMapPb, cuttingPlane, cuttingPlane, cuttingPlane, cuttingPlane, getAssertiveLiteral, getDegree, isCardinality, isLongSufficient, saturation, size
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
buildConstraintFromConflict, buildConstraintFromMapPb, cuttingPlane, cuttingPlane, cuttingPlane, cuttingPlane, getAssertiveLiteral, getDegree, isCardinality, isLongSufficient, saturation, size
public ConflictMapCardinality(PBConstr cpb, int level)