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

Packages that use WatchPb

org.sat4j.pb.constraints
org.sat4j.pb.constraints.pb	Implementations of pseudo boolean contraints.

Uses of WatchPb in org.sat4j.pb.constraints

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

protected WatchPb

PBMaxDataStructure.learntConstraintFactory(IDataStructurePB dspb)

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

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

class	MaxWatchPb
class	MinWatchPb
class	PuebloMinWatchPb

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

static WatchPb	MaxWatchPb.normalizedWatchPbNew(ILits voc, IDataStructurePB mpb)
static WatchPb	MinWatchPb.normalizedWatchPbNew(ILits voc, IDataStructurePB mpb)
static WatchPb	PuebloMinWatchPb.normalizedWatchPbNew(ILits voc, IDataStructurePB mpb)

Methods in org.sat4j.pb.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	ConflictMap.reduceUntilConflict(int litImplied, int ind, java.math.BigInteger[] reducedCoefs, WatchPb wpb)
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	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.