Uses of Interface
org.sat4j.minisat.constraints.pb.IDataStructurePB

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

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

Subinterfaces of IDataStructurePB in org.sat4j.minisat.constraints.pb
 interface IConflict
           
 

Classes in org.sat4j.minisat.constraints.pb that implement IDataStructurePB
 class ArrayPb
           
 class ConflictArrayCard
           
 class ConflictArrayClause
           
 class ConflictMap
           
 class MapPb
           
 

Methods in org.sat4j.minisat.constraints.pb that return IDataStructurePB
static IDataStructurePB WatchPb.niceCheckedParameters(IVecInt ps, IVec<java.math.BigInteger> bigCoefs, boolean moreThan, java.math.BigInteger bigDeg, ILits voc)
           
static IDataStructurePB WatchPb.niceParameters(IVecInt ps, IVec<java.math.BigInteger> bigCoefs, boolean moreThan, java.math.BigInteger bigDeg, ILits voc)
           
 

Methods in org.sat4j.minisat.constraints.pb with parameters of type IDataStructurePB
static PuebloMinWatchPb PuebloMinWatchPb.minWatchPbNew(UnitPropagationListener s, ILits voc, IDataStructurePB mpb)
           
static MaxWatchPb MaxWatchPb.normalizedMaxWatchPbNew(UnitPropagationListener s, ILits voc, IDataStructurePB mpb)
           
static MinWatchPb MinWatchPb.normalizedMinWatchPbNew(UnitPropagationListener s, ILits voc, IDataStructurePB mpb)
           
static WatchPb PuebloMinWatchPb.normalizedWatchPbNew(ILits voc, IDataStructurePB mpb)
           
static WatchPb MinWatchPb.normalizedWatchPbNew(ILits voc, IDataStructurePB mpb)