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

Packages that use PuebloMinWatchPb

org.sat4j.pb.constraints.pb

Implementations of pseudo boolean contraints.

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

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

static PuebloMinWatchPb	PuebloMinWatchPb.minWatchPbNew(org.sat4j.minisat.core.UnitPropagationListener s, org.sat4j.minisat.core.ILits voc, IDataStructurePB mpb)
static PuebloMinWatchPb	PuebloMinWatchPb.minWatchPbNew(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 PuebloMinWatchPb	PuebloMinWatchPb.minWatchPbNew(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)