public final class PuebloMinWatchPb extends MinWatchPb
watchCumul, watched, watching, watchingCount
Modifier and Type | Method and Description |
---|---|
protected BigInteger |
maximalCoefficient(int pIndice)
the maximal coefficient for the watched literals
|
static PuebloMinWatchPb |
normalizedMinWatchPbNew(UnitPropagationListener s,
ILits voc,
int[] lits,
BigInteger[] coefs,
BigInteger degree) |
static WatchPb |
normalizedWatchPbNew(ILits voc,
IDataStructurePB mpb) |
protected BigInteger |
updateWatched(BigInteger mc,
int pIndice)
update arrays watched and watching w.r.t. the propagation of a literal.
|
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, BigInteger[] coefs, 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 BigInteger maximalCoefficient(int pIndice)
MinWatchPb
maximalCoefficient
in class MinWatchPb
pIndice
- propagated literal : its coefficient is excluded from the
search of the maximal coefficientprotected BigInteger updateWatched(BigInteger mc, int pIndice)
MinWatchPb
updateWatched
in class MinWatchPb
mc
- the current maximal coefficient of the watched literalspIndice
- the literal propagated (falsified)Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.