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

Packages that use IDataStructurePB

Package	Description
org.sat4j.pb.constraints	Implementation of data structures for pseudo boolean constraints.
org.sat4j.pb.constraints.pb	Implementations of pseudo boolean constraints.
org.sat4j.pb.core	Implementations of pseudo boolean solvers

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	MinCardPBConstructor.constructLearntCard(ILits voc, IDataStructurePB dspb)
Constr	AtLeastCardConstructor.constructLearntCard(ILits voc, IDataStructurePB dspb)
Constr	AtLeastCardPBConstructor.constructLearntCard(ILits voc, IDataStructurePB dspb)
Constr	MinCardConstructor.constructLearntCard(ILits voc, IDataStructurePB dspb)
Constr	ICardConstructor.constructLearntCard(ILits voc, IDataStructurePB dspb)
protected Constr	AbstractPBClauseCardConstrDataStructure.constructLearntPB(IDataStructurePB dspb)
Constr	MaxWatchPBConstructor.constructLearntPB(ILits voc, IDataStructurePB dspb)
Constr	MaxLongWatchPBConstructor.constructLearntPB(ILits voc, IDataStructurePB dspb)
Constr	PuebloMinWatchPBConstructor.constructLearntPB(ILits voc, IDataStructurePB dspb)
Constr	MinLongWatchPBCPConstructor.constructLearntPB(ILits voc, IDataStructurePB dspb)
Constr	MinWatchPBConstructor.constructLearntPB(ILits voc, IDataStructurePB dspb)
Constr	MinLongWatchPBConstructor.constructLearntPB(ILits voc, IDataStructurePB dspb)
Constr	MaxLongWatchPBCPConstructor.constructLearntPB(ILits voc, IDataStructurePB dspb)
Constr	IPBConstructor.constructLearntPB(ILits voc, IDataStructurePB dspb)
Constr	AbstractPBDataStructureFactory.createUnregisteredPseudoBooleanConstraint(IDataStructurePB dspb)
protected Constr	PBMinDataStructure.learntConstraintFactory(IDataStructurePB dspb)
protected PBConstr	PuebloPBMinDataStructure.learntConstraintFactory(IDataStructurePB dspb)
protected abstract Constr	AbstractPBDataStructureFactory.learntConstraintFactory(IDataStructurePB dspb)
protected Constr	AbstractPBClauseCardConstrDataStructure.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

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	ConflictMapClause
class	ConflictMapDivideByPivot
class	ConflictMapMinimizeWeakening
class	ConflictMapReduceByGCD
class	ConflictMapReduceByPowersOf2
class	ConflictMapReduceToCard This class implements the reduction to cardinality algorithm proposed by Heidi Dixon in her dissertation.
class	ConflictMapReduceToClause
class	ConflictMapRounding
class	ConflictMapSwitchToClause
class	ConflictMapWeakenReason
class	ConflictMapWeakenToClash
class	MapPb

Fields in org.sat4j.pb.constraints.pb declared as IDataStructurePB

Modifier and Type	Field and Description
static IDataStructurePB	IDataStructurePB.TAUTOLOGY

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

Modifier and Type	Method and Description
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

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 WatchPb	PuebloMinWatchPb.normalizedWatchPbNew(ILits voc, IDataStructurePB mpb)
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	MaxWatchPbLong.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 WatchPbLong	MinWatchPbLong.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

Constructor and Description
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.

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)