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)
           
static MaxWatchPb MaxWatchPb.normalizedMaxWatchPbNew(UnitPropagationListener s, ILits voc, IDataStructurePB mpb)
           
static MaxWatchPb MaxWatchPb.normalizedMaxWatchPbNew(UnitPropagationListener s, ILits voc, int[] lits, java.math.BigInteger[] coefs, java.math.BigInteger degree)
           
 



Copyright © 2007 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.