public interface IConflict extends IDataStructurePB
Modifier and Type | Method and Description |
---|---|
int |
getBacktrackLevel(int maxLevel)
retourne le niveau de backtrack : c'est-?-dire le niveau le plus haut
pour lequel la contrainte est assertive
|
boolean |
isAssertive(int dl) |
java.math.BigInteger |
reduceInConstraint(IWatchPb wpb,
java.math.BigInteger[] coefsBis,
int indLitImplied,
java.math.BigInteger degreeBis)
Reduction d'une contrainte On supprime un litteral non assigne
prioritairement, vrai sinon.
|
java.math.BigInteger |
resolve(PBConstr cpb,
int litImplied,
VarActivityListener val)
Effectue une resolution avec une contrainte PB.
|
java.math.BigInteger |
slackConflict() |
boolean |
slackIsCorrect(int decisionLevel) |
void |
updateSlack(int level) |
buildConstraintFromConflict, buildConstraintFromMapPb, cuttingPlane, cuttingPlane, cuttingPlane, cuttingPlane, getAssertiveLiteral, getDegree, isCardinality, isLongSufficient, saturation, size
java.math.BigInteger resolve(PBConstr cpb, int litImplied, VarActivityListener val)
cpb
- contrainte avec laquelle on va faire la resolutionlitImplied
- litteral devant etre resoluval
- TODOjava.math.BigInteger slackConflict()
boolean isAssertive(int dl)
java.math.BigInteger reduceInConstraint(IWatchPb wpb, java.math.BigInteger[] coefsBis, int indLitImplied, java.math.BigInteger degreeBis)
int getBacktrackLevel(int maxLevel)
maxLevel
- le plus bas niveau pour lequel la contrainte est assertivevoid updateSlack(int level)
boolean slackIsCorrect(int decisionLevel)