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

Packages that use MinWatchPbLong

Package	Description
org.sat4j.pb.constraints.pb	Implementations of pseudo boolean constraints.

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

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

Modifier and Type	Method and Description
static MinWatchPbLong	MinWatchPbLong.normalizedMinWatchPbNew(UnitPropagationListener s, ILits voc, int[] lits, BigInteger[] coefs, BigInteger degree, BigInteger sumCoefs) build a pseudo boolean constraint.