Uses of Class
org.sat4j.minisat.constraints.pb.WatchPb

Packages that use WatchPb

org.sat4j.minisat.constraints.pb

Implementations of pseudo boolean contraints.

Uses of WatchPb in org.sat4j.minisat.constraints.pb

Subclasses of WatchPb in org.sat4j.minisat.constraints.pb

class	MaxWatchPb
class	MinWatchPb
class	PuebloMinWatchPb

Methods in org.sat4j.minisat.constraints.pb that return WatchPb

static WatchPb	PuebloMinWatchPb.normalizedWatchPbNew(ILits voc, IDataStructurePB mpb)
static WatchPb	MinWatchPb.normalizedWatchPbNew(ILits voc, IDataStructurePB mpb)
static WatchPb	PuebloMinWatchPb.watchPbNew(ILits voc, IVecInt lits, IVec<java.math.BigInteger> coefs, boolean moreThan, java.math.BigInteger degree)
static WatchPb	MinWatchPb.watchPbNew(ILits voc, IVecInt lits, IVec<java.math.BigInteger> coefs, boolean moreThan, java.math.BigInteger degree)
static WatchPb	MaxWatchPb.watchPbNew(ILits voc, IVecInt lits, IVec<java.math.BigInteger> coefs, boolean moreThan, java.math.BigInteger degree)
static WatchPb	PuebloMinWatchPb.watchPbNew(ILits voc, IVecInt lits, IVecInt coefs, boolean moreThan, int degree)
static WatchPb	MinWatchPb.watchPbNew(ILits voc, IVecInt lits, IVecInt coefs, boolean moreThan, int degree)
static WatchPb	MaxWatchPb.watchPbNew(ILits voc, IVecInt lits, IVecInt coefs, boolean moreThan, int degree)

Methods in org.sat4j.minisat.constraints.pb with parameters of type WatchPb

java.math.BigInteger	ConflictMap.reduceInConstraint(WatchPb wpb, java.math.BigInteger[] coefsBis, int indLitImplied, java.math.BigInteger degreeBis) constraint reduction : removes a literal of the constraint.
java.math.BigInteger	IConflict.reduceInConstraint(WatchPb wpb, java.math.BigInteger[] coefsBis, int indLitImplied, java.math.BigInteger degreeBis) Reduction d'une contrainte On supprime un litteral non assigne prioritairement, vrai sinon.