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

Packages that use WatchPbLong

org.sat4j.pb.constraints.pb

Implementations of pseudo boolean contraints.

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

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

class	MaxWatchPbLong Data structure for pseudo-boolean constraint with watched literals.
class	MinWatchPbLong Data structure for pseudo-boolean constraint with watched literals.
class	MinWatchPbLongLimit Data structure for pseudo-boolean constraint with watched literals.

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

static WatchPbLong	MinWatchPbLong.normalizedWatchPbNew(ILits voc, IDataStructurePB mpb) build a pseudo boolean constraint from a specific data structure.
static WatchPbLong	MinWatchPbLongLimit.normalizedWatchPbNew(ILits voc, IDataStructurePB mpb) build a pseudo boolean constraint from a specific data structure.
static WatchPbLong	MaxWatchPbLong.normalizedWatchPbNew(ILits voc, IDataStructurePB mpb) build a pseudo boolean constraint from a specific data structure.