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)