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

Packages that use MinWatchPb

org.sat4j.minisat.constraints.pb

Implementations of pseudo boolean contraints.

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

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

class

PuebloMinWatchPb

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

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