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

Packages that use IDataStructurePB

Package	Description
org.sat4j.pb.constraints
org.sat4j.pb.constraints.pb
org.sat4j.pb.core

Uses of IDataStructurePB in org.sat4j.pb.constraints

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

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

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

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

Modifier and Type	Interface and Description
interface	IConflict

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

Modifier and Type	Class and Description
class	ConflictMap
class	ConflictMapCardinality
class	ConflictMapClause
class	ConflictMapSwitchToClause
class	MapPb

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

Modifier and Type	Method and Description
static IDataStructurePB	Pseudos.niceCheckedParameters(IVecInt ps, IVec<java.math.BigInteger> bigCoefs, boolean moreThan, java.math.BigInteger bigDeg, ILits voc)
static IDataStructurePB	Pseudos.niceParameters(IVecInt ps, IVec<java.math.BigInteger> bigCoefs, boolean moreThan, java.math.BigInteger bigDeg, ILits voc)

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

Modifier and Type	Method and Description
static WatchPb	MaxWatchPb.normalizedWatchPbNew(ILits voc, IDataStructurePB mpb) build a pseudo boolean constraint from a specific data structure.
static WatchPbLong	MaxWatchPbLong.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 WatchPbLong	MinWatchPbLong.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)

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

Constructor and Description
MinWatchPb(ILits voc, IDataStructurePB mpb) Basic constructor for pb constraint a0.x0 + a1.x1 + ...
MinWatchPbLong(ILits voc, IDataStructurePB mpb) Basic constructor for pb constraint a0.x0 + a1.x1 + ...
MinWatchPbLongCP(ILits voc, IDataStructurePB mpb) Basic constructor for pb constraint a0.x0 + a1.x1 + ...

Uses of IDataStructurePB in org.sat4j.pb.core

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

Modifier and Type	Method and Description
Constr	PBDataStructureFactory.createUnregisteredPseudoBooleanConstraint(IDataStructurePB dspb)