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

Packages that use PBConstr

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

Uses of PBConstr in org.sat4j.pb.constraints

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

protected PBConstr	PuebloPBMinDataStructure.constraintFactory(int[] literals, java.math.BigInteger[] coefs, java.math.BigInteger degree)
protected PBConstr	PBMinDataStructure.constraintFactory(int[] literals, java.math.BigInteger[] coefs, java.math.BigInteger degree)
protected PBConstr	PuebloPBMinClauseAtLeastConstrDataStructure.constructCard(IVecInt theLits, int degree)
protected PBConstr	PBMaxClauseAtLeastConstrDataStructure.constructCard(IVecInt theLits, int degree)
protected PBConstr	PBMaxCBClauseCardConstrDataStructure.constructClause(IVecInt v)
protected PBConstr	PBMinClauseCardConstrDataStructure.constructLearntPB(IDataStructurePB dspb)
protected PBConstr	PBMinClauseCardConstrDataStructure.constructPB(int[] theLits, java.math.BigInteger[] coefs, java.math.BigInteger degree)
protected PBConstr	PuebloPBMinDataStructure.learntConstraintFactory(IDataStructurePB dspb)

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

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

class	AtLeastPB
class	LearntBinaryClausePB
class	LearntHTClausePB
class	MaxWatchPb
class	MinWatchCardPB
class	MinWatchPb
class	MixableCBClausePB
class	OriginalBinaryClausePB
class	OriginalHTClausePB
class	PuebloMinWatchPb
class	UnitClausePB
class	WatchPb

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

static IConflict	ConflictMap.createConflict(PBConstr cpb, int level) constructs the data structure needed to perform cutting planes
static IConflict	ConflictMapMerging.createConflict(PBConstr cpb, int level)
static IConflict	ConflictMapClause.createConflict(PBConstr cpb, int level)
java.math.BigInteger	MapPb.cuttingPlane(PBConstr cpb, java.math.BigInteger degreeCons, java.math.BigInteger[] reducedCoefs, java.math.BigInteger coefMult, VarActivityListener val)
java.math.BigInteger	IDataStructurePB.cuttingPlane(PBConstr cpb, java.math.BigInteger degreeCons, java.math.BigInteger[] reducedCoefs, java.math.BigInteger coefMult, VarActivityListener val)
java.math.BigInteger	MapPb.cuttingPlane(PBConstr cpb, java.math.BigInteger deg, java.math.BigInteger[] reducedCoefs, VarActivityListener val)
java.math.BigInteger	IDataStructurePB.cuttingPlane(PBConstr cpb, java.math.BigInteger deg, java.math.BigInteger[] reducedCoefs, VarActivityListener val)
java.math.BigInteger	ConflictMap.resolve(PBConstr cpb, int litImplied, VarActivityListener val) computes a cutting plane with a pseudo-boolean constraint. this method updates the current instance (of ConflictMap).
java.math.BigInteger	IConflict.resolve(PBConstr cpb, int litImplied, VarActivityListener val) Effectue une resolution avec une contrainte PB.

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

ConflictMapCardinality(PBConstr cpb, int level)

ConflictMapClause(PBConstr cpb, int level)

ConflictMapMerging(PBConstr cpb, int level)