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

Packages that use IDataStructurePB

org.sat4j.pb.constraints
org.sat4j.pb.constraints.pb	Implementations of pseudo boolean contraints.
org.sat4j.pb.core

Uses of IDataStructurePB in org.sat4j.pb.constraints

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

protected Constr	AbstractPBClauseCardConstrDataStructure.constructLearntCard(IDataStructurePB dspb)
Constr	MinCardConstructor.constructLearntCard(ILits voc, IDataStructurePB dspb)
Constr	ICardConstructor.constructLearntCard(ILits voc, IDataStructurePB dspb)
Constr	AtLeastCardPBConstructor.constructLearntCard(ILits voc, IDataStructurePB dspb)
Constr	MinCardPBConstructor.constructLearntCard(ILits voc, IDataStructurePB dspb)
Constr	AtLeastCardConstructor.constructLearntCard(ILits voc, IDataStructurePB dspb)
protected Constr	AbstractPBClauseCardConstrDataStructure.constructLearntPB(IDataStructurePB dspb)
Constr	MinLongWatchPBConstructor.constructLearntPB(ILits voc, IDataStructurePB dspb)
Constr	MaxLongWatchPBConstructor.constructLearntPB(ILits voc, IDataStructurePB dspb)
Constr	MinWatchPBConstructor.constructLearntPB(ILits voc, IDataStructurePB dspb)
Constr	MaxWatchPBConstructor.constructLearntPB(ILits voc, IDataStructurePB dspb)
Constr	MinLongWatchPBCPConstructor.constructLearntPB(ILits voc, IDataStructurePB dspb)
Constr	MaxLongWatchPBCPConstructor.constructLearntPB(ILits voc, IDataStructurePB dspb)
Constr	IPBConstructor.constructLearntPB(ILits voc, IDataStructurePB dspb)
Constr	PuebloMinWatchPBConstructor.constructLearntPB(ILits voc, IDataStructurePB dspb)
Constr	AbstractPBDataStructureFactory.createUnregisteredPseudoBooleanConstraint(IDataStructurePB dspb)
protected abstract Constr	AbstractPBDataStructureFactory.learntConstraintFactory(IDataStructurePB dspb)
protected Constr	AbstractPBClauseCardConstrDataStructure.learntConstraintFactory(IDataStructurePB dspb)
protected PBConstr	PuebloPBMinDataStructure.learntConstraintFactory(IDataStructurePB dspb)
protected Constr	PBMinDataStructure.learntConstraintFactory(IDataStructurePB dspb)
protected WatchPb	PBMaxDataStructure.learntConstraintFactory(IDataStructurePB dspb)

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

Subinterfaces of IDataStructurePB in org.sat4j.pb.constraints.pb

interface

IConflict

Classes in org.sat4j.pb.constraints.pb that implement IDataStructurePB

class	ConflictMap
class	ConflictMapCardinality
class	ConflictMapClause
class	ConflictMapMerging
class	ConflictMapSwitchToClause
class	MapPb

Methods in org.sat4j.pb.constraints.pb that return IDataStructurePB

static IDataStructurePB	Pseudos.niceCheckedParameters(IVecInt ps, IVec<BigInteger> bigCoefs, boolean moreThan, BigInteger bigDeg, ILits voc)
static IDataStructurePB	Pseudos.niceParameters(IVecInt ps, IVec<BigInteger> bigCoefs, boolean moreThan, BigInteger bigDeg, ILits voc)

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

static WatchPb	MaxWatchPb.normalizedWatchPbNew(ILits voc, IDataStructurePB mpb) build a pseudo boolean constraint from a specific data structure.
static WatchPbLong	MinWatchPbLong.normalizedWatchPbNew(ILits voc, IDataStructurePB mpb) build a pseudo boolean constraint from a specific data structure.
static WatchPbLong	MinWatchPbLongLimit.normalizedWatchPbNew(ILits voc, IDataStructurePB mpb) build a pseudo boolean constraint from a specific data structure.
static WatchPbLongCP	MaxWatchPbLongCP.normalizedWatchPbNew(ILits voc, IDataStructurePB mpb) build a pseudo boolean constraint from a specific data structure.
static WatchPb	MinWatchPb.normalizedWatchPbNew(ILits voc, IDataStructurePB mpb) build a pseudo boolean constraint from a specific data structure.
static WatchPbLongCP	MinWatchPbLongCP.normalizedWatchPbNew(ILits voc, IDataStructurePB mpb) build a pseudo boolean constraint from a specific data structure.
static WatchPb	PuebloMinWatchPb.normalizedWatchPbNew(ILits voc, IDataStructurePB mpb)
static WatchPbLong	MaxWatchPbLong.normalizedWatchPbNew(ILits voc, IDataStructurePB mpb) build a pseudo boolean constraint from a specific data structure.

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

MinWatchPb(ILits voc, IDataStructurePB mpb)
Basic constructor for pb constraint a0.x0 + a1.x1 + ... + an.xn >= k This constructor is called for learnt pseudo boolean constraints.

MinWatchPbLong(ILits voc, IDataStructurePB mpb)
Basic constructor for pb constraint a0.x0 + a1.x1 + ... + an.xn >= k This constructor is called for learnt pseudo boolean constraints.

MinWatchPbLongCP(ILits voc, IDataStructurePB mpb)
Basic constructor for pb constraint a0.x0 + a1.x1 + ... + an.xn >= k This constructor is called for learnt pseudo boolean constraints.

MinWatchPbLongLimit(ILits voc, IDataStructurePB mpb)
Basic constructor for pb constraint a0.x0 + a1.x1 + ... + an.xn >= k This constructor is called for learnt pseudo boolean constraints.

Uses of IDataStructurePB in org.sat4j.pb.core

Methods in org.sat4j.pb.core with parameters of type IDataStructurePB

Constr

PBDataStructureFactory.createUnregisteredPseudoBooleanConstraint(IDataStructurePB dspb)