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 java.math.BigInteger |
reduceUntilConflict(int litImplied,
int ind,
java.math.BigInteger[] reducedCoefs,
IWatchPb wpb)
reduces the constraint defined by wpb until the result of the cutting
plane is a conflict.
|
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 java.math.BigInteger reduceUntilConflict(int litImplied, int ind, java.math.BigInteger[] reducedCoefs, IWatchPb wpb)
reduceUntilConflict
in class ConflictMap
litImplied
- ind
- reducedCoefs
- wpb
-