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

Packages that use IDataStructurePB

org.sat4j.minisat.constraints	Implementations of various constraints for MiniSAT.
org.sat4j.minisat.constraints.pb	Implementations of pseudo boolean contraints.

Uses of IDataStructurePB in org.sat4j.minisat.constraints

Methods in org.sat4j.minisat.constraints with parameters of type IDataStructurePB

protected PBConstr	PBMaxClauseCardConstrDataStructure.constructPB(IDataStructurePB mpb)
protected PBConstr	PuebloPBMinClauseCardConstrDataStructure.constructPB(IDataStructurePB mpb)
protected PBConstr	PBMinClauseCardConstrDataStructure.constructPB(IDataStructurePB mpb)
protected abstract PBConstr	AbstractPBClauseCardConstrDataStructure.constructPB(IDataStructurePB mpb)

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	ConflictMap
class	ConflictMapCardinality
class	ConflictMapClause
class	ConflictMapMerging
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)

Constructors in org.sat4j.minisat.constraints.pb with parameters of type IDataStructurePB

MinWatchPb(ILits voc, IDataStructurePB mpb)
Constructeur de base des contraintes