public final class PuebloMinWatchPb extends MinWatchPb
watchCumul, watched, watching, watchingCount
Modifier and Type | Method and Description |
---|---|
protected java.math.BigInteger |
maximalCoefficient(int pIndice)
the maximal coefficient for the watched literals
|
static PuebloMinWatchPb |
normalizedMinWatchPbNew(UnitPropagationListener s,
ILits voc,
int[] lits,
java.math.BigInteger[] coefs,
java.math.BigInteger degree) |
static WatchPb |
normalizedWatchPbNew(ILits voc,
IDataStructurePB mpb) |
protected java.math.BigInteger |
updateWatched(java.math.BigInteger mc,
int pIndice)
update arrays watched and watching w.r.t.
|
computePropagation, computeWatches, nbOfWatched, normalizedMinWatchPbNew, propagate, remove, undo
assertConstraint, assertConstraintIfNeeded, calcReason, calcReasonOnTheFly, canBePropagatedMultipleTimes, coefficientsEqualToOne, computeAnImpliedClause, computeLeftSide, computeLeftSide, equals, forwardActivity, get, getActivity, getCoef, getCoefs, getDegree, getLits, getVocabulary, hashCode, incActivity, isAssertive, isSatisfiable, learnt, locked, ppcm, register, rescaleBy, setActivity, setLearnt, simplify, size, slackConstraint, slackConstraint, sort, sort, toConstraint, toString
public static PuebloMinWatchPb normalizedMinWatchPbNew(UnitPropagationListener s, ILits voc, int[] lits, java.math.BigInteger[] coefs, java.math.BigInteger degree) throws ContradictionException
s
- a unit propagation listenervoc
- the vocabularylits
- the literalscoefs
- the coefficientsdegree
- the degree of the constraint to normalize.ContradictionException
public static WatchPb normalizedWatchPbNew(ILits voc, IDataStructurePB mpb)
protected java.math.BigInteger maximalCoefficient(int pIndice)
MinWatchPb
maximalCoefficient
in class MinWatchPb
pIndice
- propagated literal : its coefficient is excluded from the
search of the maximal coefficientprotected java.math.BigInteger updateWatched(java.math.BigInteger mc, int pIndice)
MinWatchPb
updateWatched
in class MinWatchPb
mc
- the current maximal coefficient of the watched literalspIndice
- the literal propagated (falsified)