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

Packages that use WatchPb

org.sat4j.minisat.constraints	Implementations of various constraints for MiniSAT.
org.sat4j.minisat.constraints.pb	Implementations of pseudo boolean contraints.

Uses of WatchPb in org.sat4j.minisat.constraints

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

protected WatchPb	PBMaxDataStructure.constraintFactory(IVecInt literals, IVec<java.math.BigInteger> coefs, java.math.BigInteger degree)
protected WatchPb	PBMaxDataStructure.constraintFactory(IVecInt literals, IVec<java.math.BigInteger> coefs, boolean moreThan, java.math.BigInteger degree)
protected WatchPb	PBMaxDataStructure.constraintFactory(IVecInt literals, IVecInt coefs, boolean moreThan, int degree)
protected WatchPb	PBMaxDataStructure.constraintFactory(IVecInt literals, IVecInt coefs, int degree)

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	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, 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, IVecInt coefs, boolean moreThan, int 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)

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.
protected java.math.BigInteger	ConflictMapClause.reduceUntilConflict(int litImplied, int ind, java.math.BigInteger[] reducedCoefs, WatchPb wpb) reduces the constraint defined by wpb until the result of the cutting plane is a conflict. this reduction returns a clause.
protected java.math.BigInteger	ConflictMapMerging.reduceUntilConflict(int litImplied, int ind, java.math.BigInteger[] reducedCoefs, WatchPb wpb) reduces the constraint defined by wpb until the result of the cutting plane is a conflict. this reduction returns a PB constraint.
protected java.math.BigInteger	ConflictMap.reduceUntilConflict(int litImplied, int ind, java.math.BigInteger[] reducedCoefs, WatchPb wpb)