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

Packages that use MaxWatchPb

org.sat4j.pb.constraints.pb

Implementations of pseudo boolean contraints.

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

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

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