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 PBConstr	PuebloPBMinDataStructure.constraintFactory(IDataStructurePB dspb)
protected PBConstr	PBMinDataStructure.constraintFactory(IDataStructurePB dspb)
protected PBConstr	AbstractPBClauseCardConstrDataStructure.constraintFactory(IDataStructurePB dspb)
protected abstract PBConstr	AbstractPBDataStructureFactory.constraintFactory(IDataStructurePB dspb)
protected WatchPb	PBMaxDataStructure.constraintFactory(IDataStructurePB dspb)
protected PBConstr	PuebloPBMinClauseCardConstrDataStructure.constructLearntCard(IDataStructurePB dspb)
protected abstract PBConstr	AbstractPBClauseCardConstrDataStructure.constructLearntCard(IDataStructurePB dspb)
protected PBConstr	PuebloPBMinClauseCardConstrDataStructure.constructLearntClause(IDataStructurePB dspb)
protected abstract PBConstr	AbstractPBClauseCardConstrDataStructure.constructLearntClause(IDataStructurePB dspb)
protected PBConstr	PuebloPBMinClauseCardConstrDataStructure.constructLearntPB(IDataStructurePB dspb)
protected abstract PBConstr	AbstractPBClauseCardConstrDataStructure.constructLearntPB(IDataStructurePB dspb)
protected PBConstr	PBMinClauseCardConstrDataStructure.constructLearntPB(IDataStructurePB dspb)
protected PBConstr	PBMaxClauseCardConstrDataStructure.constructLearntPB(IDataStructurePB mpb)
protected PBConstr	PuebloPBMinClauseCardConstrDataStructure.constructPB(IDataStructurePB mpb)
protected abstract PBConstr	AbstractPBClauseCardConstrDataStructure.constructPB(IDataStructurePB mpb)
protected PBConstr	PBMinClauseCardConstrDataStructure.constructPB(IDataStructurePB mpb)
protected PBConstr	PBMaxClauseCardConstrDataStructure.constructPB(IDataStructurePB mpb)
org.sat4j.minisat.core.Constr	AbstractPBDataStructureFactory.createUnregisteredPseudoBooleanConstraint(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	MapPb

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

static IDataStructurePB	Pseudos.niceCheckedParameters(org.sat4j.specs.IVecInt ps, org.sat4j.specs.IVec<java.math.BigInteger> bigCoefs, boolean moreThan, java.math.BigInteger bigDeg, org.sat4j.minisat.core.ILits voc)
static IDataStructurePB	Pseudos.niceParameters(org.sat4j.specs.IVecInt ps, org.sat4j.specs.IVec<java.math.BigInteger> bigCoefs, boolean moreThan, java.math.BigInteger bigDeg, org.sat4j.minisat.core.ILits voc)

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

static PuebloMinWatchPb	PuebloMinWatchPb.minWatchPbNew(org.sat4j.minisat.core.UnitPropagationListener s, org.sat4j.minisat.core.ILits voc, IDataStructurePB mpb)
static MaxWatchPb	MaxWatchPb.normalizedMaxWatchPbNew(org.sat4j.minisat.core.UnitPropagationListener s, org.sat4j.minisat.core.ILits voc, IDataStructurePB mpb)
static MinWatchPb	MinWatchPb.normalizedMinWatchPbNew(org.sat4j.minisat.core.UnitPropagationListener s, org.sat4j.minisat.core.ILits voc, IDataStructurePB mpb)
static WatchPb	MinWatchPb.normalizedWatchPbNew(org.sat4j.minisat.core.ILits voc, IDataStructurePB mpb)
static WatchPb	MaxWatchPb.normalizedWatchPbNew(org.sat4j.minisat.core.ILits voc, IDataStructurePB mpb)
static WatchPb	PuebloMinWatchPb.normalizedWatchPbNew(org.sat4j.minisat.core.ILits voc, IDataStructurePB mpb)

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

MinWatchPb(org.sat4j.minisat.core.ILits voc, IDataStructurePB mpb)
Constructeur de base des contraintes

Uses of IDataStructurePB in org.sat4j.pb.core

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

org.sat4j.minisat.core.Constr

PBDataStructureFactory.createUnregisteredPseudoBooleanConstraint(IDataStructurePB dspb)