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)