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 Data structure for pseudo-boolean constraint with watched literals.
class	MinWatchPb Data structure for pseudo-boolean constraint with watched literals.
class	PuebloMinWatchPb

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

static WatchPb	MaxWatchPb.normalizedWatchPbNew(ILits voc, IDataStructurePB mpb) build a pseudo boolean constraint from a specific data structure.
static WatchPb	MinWatchPb.normalizedWatchPbNew(ILits voc, IDataStructurePB mpb) build a pseudo boolean constraint from a specific data structure.
static WatchPb	PuebloMinWatchPb.normalizedWatchPbNew(ILits voc, IDataStructurePB mpb)