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

Packages that use PBConstr

org.sat4j.minisat.constraints	Implementations of various constraints for MiniSAT.
org.sat4j.minisat.constraints.pb	Implementations of pseudo boolean contraints.

Uses of PBConstr in org.sat4j.minisat.constraints

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

protected PBConstr	PuebloPBMinDataStructure.constraintFactory(IVecInt literals, IVec<java.math.BigInteger> coefs, java.math.BigInteger degree)
protected PBConstr	PBMinDataStructure.constraintFactory(IVecInt literals, IVec<java.math.BigInteger> coefs, java.math.BigInteger degree)
protected abstract PBConstr	AbstractPBDataStructureFactory.constraintFactory(IVecInt literals, IVec<java.math.BigInteger> coefs, java.math.BigInteger degree)
protected PBConstr	AbstractPBClauseCardConstrDataStructure.constraintFactory(IVecInt literals, IVec<java.math.BigInteger> coefs, java.math.BigInteger degree)
protected PBConstr	PuebloPBMinDataStructure.constraintFactory(IVecInt literals, IVec<java.math.BigInteger> coefs, boolean moreThan, java.math.BigInteger degree)
protected PBConstr	PBMinDataStructure.constraintFactory(IVecInt literals, IVec<java.math.BigInteger> coefs, boolean moreThan, java.math.BigInteger degree)
protected abstract PBConstr	AbstractPBDataStructureFactory.constraintFactory(IVecInt literals, IVec<java.math.BigInteger> coefs, boolean moreThan, java.math.BigInteger degree)
protected PBConstr	AbstractPBClauseCardConstrDataStructure.constraintFactory(IVecInt literals, IVec<java.math.BigInteger> coefs, boolean moreThan, java.math.BigInteger degree)
protected PBConstr	PuebloPBMinDataStructure.constraintFactory(IVecInt literals, IVecInt coefs, boolean moreThan, int degree)
protected PBConstr	PBMinDataStructure.constraintFactory(IVecInt literals, IVecInt coefs, boolean moreThan, int degree)
protected abstract PBConstr	AbstractPBDataStructureFactory.constraintFactory(IVecInt literals, IVecInt coefs, boolean moreThan, int degree)
protected PBConstr	AbstractPBClauseCardConstrDataStructure.constraintFactory(IVecInt literals, IVecInt coefs, boolean moreThan, int degree)
protected PBConstr	PuebloPBMinDataStructure.constraintFactory(IVecInt literals, IVecInt coefs, int degree)
protected PBConstr	PBMinDataStructure.constraintFactory(IVecInt literals, IVecInt coefs, int degree)
protected abstract PBConstr	AbstractPBDataStructureFactory.constraintFactory(IVecInt literals, IVecInt coefs, int degree)
protected PBConstr	AbstractPBClauseCardConstrDataStructure.constraintFactory(IVecInt literals, IVecInt coefs, int degree)
protected PBConstr	PBMaxClauseAtLeastConstrDataStructure.constructCard(IVecInt lits, int degree)
protected PBConstr	PuebloPBMinClauseAtLeastConstrDataStructure.constructCard(IVecInt lits, int degree)
protected PBConstr	PuebloPBMinClauseCardConstrDataStructure.constructCard(IVecInt lits, int degree)
protected abstract PBConstr	AbstractPBClauseCardConstrDataStructure.constructCard(IVecInt lits, int degree)
protected PBConstr	PBMaxCBClauseCardConstrDataStructure.constructClause(IVecInt v)
protected PBConstr	PuebloPBMinClauseCardConstrDataStructure.constructClause(IVecInt v)
protected abstract PBConstr	AbstractPBClauseCardConstrDataStructure.constructClause(IVecInt v)
protected PBConstr	PBMaxClauseAtLeastConstrDataStructure.constructLearntCard(IVecInt literals, int degree)
protected PBConstr	PuebloPBMinClauseAtLeastConstrDataStructure.constructLearntCard(IVecInt literals, int degree)
protected PBConstr	PuebloPBMinClauseCardConstrDataStructure.constructLearntCard(IVecInt literals, int degree)
protected abstract PBConstr	AbstractPBClauseCardConstrDataStructure.constructLearntCard(IVecInt literals, int degree)
protected PBConstr	PBMaxCBClauseCardConstrDataStructure.constructLearntClause(IVecInt literals)
protected PBConstr	PuebloPBMinClauseCardConstrDataStructure.constructLearntClause(IVecInt literals)
protected abstract PBConstr	AbstractPBClauseCardConstrDataStructure.constructLearntClause(IVecInt literals)
protected PBConstr	PBMaxClauseCardConstrDataStructure.constructLearntPB(IVecInt literals, IVec<java.math.BigInteger> coefs, java.math.BigInteger degree)
protected PBConstr	PuebloPBMinClauseCardConstrDataStructure.constructLearntPB(IVecInt literals, IVec<java.math.BigInteger> coefs, java.math.BigInteger degree)
protected PBConstr	PBMinClauseCardConstrDataStructure.constructLearntPB(IVecInt literals, IVec<java.math.BigInteger> coefs, java.math.BigInteger degree)
protected abstract PBConstr	AbstractPBClauseCardConstrDataStructure.constructLearntPB(IVecInt literals, IVec<java.math.BigInteger> coefs, java.math.BigInteger degree)
protected PBConstr	PBMaxClauseCardConstrDataStructure.constructPB(IDataStructurePB mpb)
protected PBConstr	PuebloPBMinClauseCardConstrDataStructure.constructPB(IDataStructurePB mpb)
protected PBConstr	PBMinClauseCardConstrDataStructure.constructPB(IDataStructurePB mpb)
protected abstract PBConstr	AbstractPBClauseCardConstrDataStructure.constructPB(IDataStructurePB mpb)
protected PBConstr	PBMaxClauseCardConstrDataStructure.constructPB(int[] lits, java.math.BigInteger[] coefs, java.math.BigInteger degree)
protected PBConstr	PuebloPBMinClauseCardConstrDataStructure.constructPB(int[] lits, java.math.BigInteger[] coefs, java.math.BigInteger degree)
protected PBConstr	PBMinClauseCardConstrDataStructure.constructPB(int[] lits, java.math.BigInteger[] coefs, java.math.BigInteger degree)
protected abstract PBConstr	AbstractPBClauseCardConstrDataStructure.constructPB(int[] lits, java.math.BigInteger[] coefs, java.math.BigInteger degree)

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

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

class	AtLeastPB
class	MaxWatchPb
class	MinWatchCardPB
class	MinWatchPb
class	MixableCBClausePB
class	PuebloMinWatchPb
class	WatchPb
class	WLClausePB

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

static IConflict	ConflictMapClause.createConflict(PBConstr cpb, int level)
static IConflict	ConflictMapMerging.createConflict(PBConstr cpb, int level)
static IConflict	ConflictMap.createConflict(PBConstr cpb, int level) constructs the data structure needed to perform cutting planes
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.