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