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

Packages that use PuebloMinWatchPb
org.sat4j.minisat.constraints.pb Implementations of pseudo boolean contraints. 
 

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

Methods in org.sat4j.minisat.constraints.pb that return PuebloMinWatchPb
static PuebloMinWatchPb PuebloMinWatchPb.minWatchPbNew(UnitPropagationListener s, ILits voc, IDataStructurePB mpb)
           
static PuebloMinWatchPb PuebloMinWatchPb.minWatchPbNew(UnitPropagationListener s, ILits voc, IVecInt ps, IVec<java.math.BigInteger> coefs, boolean moreThan, java.math.BigInteger degree)
           
static PuebloMinWatchPb PuebloMinWatchPb.minWatchPbNew(UnitPropagationListener s, ILits voc, IVecInt ps, IVecInt coefs, boolean moreThan, int degree)
           
 



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