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)
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.