public final class ConflictMapSwitchToClause extends ConflictMap
Modifier and Type | Field and Description |
---|---|
static int |
UpperBound |
byLevel, coefMult, coefMultCons, currentLevel, currentSlack, hasBeenReduced, numberOfReductions
assertiveLiteral, degree, weightedLits
Constructor and Description |
---|
ConflictMapSwitchToClause(PBConstr cpb,
int level) |
Modifier and Type | Method and Description |
---|---|
static IConflict |
createConflict(PBConstr cpb,
int level) |
protected BigInteger |
reduceUntilConflict(int litImplied,
int ind,
BigInteger[] reducedCoefs,
IWatchPb wpb)
reduces the constraint defined by wpb until the result of the cutting
plane is a conflict. this reduction returns either a clause if .
|
getBacktrackLevel, getNumberOfReductions, hasBeenReduced, isAssertive, oldGetBacktrackLevel, oldIsAssertive, ppcm, reduceInConstraint, 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 ConflictMapSwitchToClause(PBConstr cpb, int level)
protected BigInteger reduceUntilConflict(int litImplied, int ind, BigInteger[] reducedCoefs, IWatchPb wpb)
reduceUntilConflict
in class ConflictMap
litImplied
- ind
- reducedCoefs
- wpb
- Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.