org.sat4j.pb.constraints.pb
Class PuebloMinWatchPb

java.lang.Object
  org.sat4j.pb.constraints.pb.WatchPb
      org.sat4j.pb.constraints.pb.MinWatchPb
          org.sat4j.pb.constraints.pb.PuebloMinWatchPb

All Implemented Interfaces:

java.io.Serializable, Constr, Propagatable, Undoable, PBConstr, IConstr

public class PuebloMinWatchPb
extends MinWatchPb

See Also:

Serialized Form

Field Summary

Fields inherited from class org.sat4j.pb.constraints.pb.MinWatchPb

watched, watching, watchingCount

Fields inherited from class org.sat4j.pb.constraints.pb.WatchPb

activity, ATLEAST, ATMOST, coefs, degree, learnt, lits, voc, watchCumul

Method Summary

protected java.math.BigInteger	maximalCoefficient(int pIndice)
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)

Methods inherited from class org.sat4j.pb.constraints.pb.MinWatchPb

computePropagation, computeWatches, nbOfWatched, propagate, remove, undo

Methods inherited from class org.sat4j.pb.constraints.pb.WatchPb

assertConstraint, calcReason, coefficientsEqualToOne, computeAnImpliedClause, equals, forwardActivity, get, getActivity, getCoef, getCoefs, getDegree, getLits, getVocabulary, hashCode, incActivity, isAssertive, isSatisfiable, learnt, locked, ppcm, recalcLeftSide, recalcLeftSide, register, rescaleBy, setLearnt, simplify, size, slackConstraint, slackConstraint, sort, sort, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Detail

normalizedMinWatchPbNew

public static PuebloMinWatchPb normalizedMinWatchPbNew(UnitPropagationListener s,
                                                       ILits voc,
                                                       int[] lits,
                                                       java.math.BigInteger[] coefs,
                                                       java.math.BigInteger degree)
                                                throws ContradictionException

Parameters:

s - a unit propagation listener

voc - the vocabulary

lits - the literals

coefs - the coefficients

degree - the degree of the constraint to normalize.

Returns:

a new PB constraint or null if a trivial inconsistency is detected.

Throws:

ContradictionException

normalizedWatchPbNew

public static WatchPb normalizedWatchPbNew(ILits voc,
                                           IDataStructurePB mpb)

maximalCoefficient

protected java.math.BigInteger maximalCoefficient(int pIndice)

Overrides:

maximalCoefficient in class MinWatchPb

Parameters:

pIndice - propagated literal : its coefficient is excluded from the search of the maximal coefficient

Returns:

the maximal coefficient for the watched literals

updateWatched

protected java.math.BigInteger updateWatched(java.math.BigInteger mc,
                                             int pIndice)

Overrides:

updateWatched in class MinWatchPb