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

Packages that use MaxWatchPb

org.sat4j.minisat.constraints.pb

Implementations of pseudo boolean contraints.

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

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

static MaxWatchPb	MaxWatchPb.maxWatchPbNew(UnitPropagationListener s, ILits voc, IVecInt ps, IVec<java.math.BigInteger> coefs, boolean moreThan, java.math.BigInteger degree)
static MaxWatchPb	MaxWatchPb.maxWatchPbNew(UnitPropagationListener s, ILits voc, IVecInt ps, IVecInt coefs, boolean moreThan, int degree)
static MaxWatchPb	MaxWatchPb.normalizedMaxWatchPbNew(UnitPropagationListener s, ILits voc, IDataStructurePB mpb)
static MaxWatchPb	MaxWatchPb.normalizedMaxWatchPbNew(UnitPropagationListener s, ILits voc, int[] lits, java.math.BigInteger[] coefs, java.math.BigInteger degree)