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

Packages that use WatchPb

org.sat4j.minisat.constraints.pb

Implementations of pseudo boolean contraints.

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

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

class	MaxWatchPb
class	MinWatchPb

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

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, IVec<java.math.BigInteger> coefs, boolean moreThan, java.math.BigInteger degree)
static WatchPb	MinWatchPb.watchPbNew(ILits voc, IVecInt lits, IVecInt coefs, boolean moreThan, int degree)
static WatchPb	MaxWatchPb.watchPbNew(ILits voc, IVecInt lits, IVecInt coefs, boolean moreThan, int degree)