Uses of Interface
org.sat4j.pb.constraints.pb.IWatchPb

Packages that use IWatchPb

org.sat4j.pb.constraints.pb

Implementations of pseudo boolean contraints.

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

Classes in org.sat4j.pb.constraints.pb that implement IWatchPb

class	MaxWatchPb Data structure for pseudo-boolean constraint with watched literals.
class	MaxWatchPbLongCP Data structure for pseudo-boolean constraint with watched literals.
class	MinWatchPb Data structure for pseudo-boolean constraint with watched literals.
class	MinWatchPbLongCP Data structure for pseudo-boolean constraint with watched literals.
class	PuebloMinWatchPb
class	WatchPb Abstract data structure for pseudo-boolean constraint with watched literals.
class	WatchPbLongCP

Methods in org.sat4j.pb.constraints.pb with parameters of type IWatchPb

BigInteger	ConflictMap.reduceInConstraint(IWatchPb wpb, BigInteger[] coefsBis, int indLitImplied, BigInteger degreeBis) constraint reduction : removes a literal of the constraint.
BigInteger	IConflict.reduceInConstraint(IWatchPb wpb, BigInteger[] coefsBis, int indLitImplied, BigInteger degreeBis) Reduction d'une contrainte On supprime un litteral non assigne prioritairement, vrai sinon.
protected BigInteger	ConflictMapMerging.reduceUntilConflict(int litImplied, int ind, BigInteger[] reducedCoefs, IWatchPb wpb) reduces the constraint defined by wpb until the result of the cutting plane is a conflict. this reduction returns a PB constraint.
protected BigInteger	ConflictMap.reduceUntilConflict(int litImplied, int ind, BigInteger[] reducedCoefs, IWatchPb wpb)
protected BigInteger	ConflictMapSwitchToClause.reduceUntilConflict(int litImplied, int ind, BigInteger[] reducedCoefs, IWatchPb wpb) reduces the constraint defined by wpb until the result of the cutting plane is a conflict. this reduction returns either a clause if .
protected BigInteger	ConflictMapClause.reduceUntilConflict(int litImplied, int ind, BigInteger[] reducedCoefs, IWatchPb wpb) reduces the constraint defined by wpb until the result of the cutting plane is a conflict. this reduction returns a clause.