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(IDataStructurePB dspb)
protected PBConstr	PBMinDataStructure.constraintFactory(IDataStructurePB dspb)
protected PBConstr	AbstractPBClauseCardConstrDataStructure.constraintFactory(IDataStructurePB dspb)
protected abstract PBConstr	AbstractPBDataStructureFactory.constraintFactory(IDataStructurePB dspb)
protected PBConstr	PuebloPBMinDataStructure.constraintFactory(org.sat4j.specs.IVecInt literals, org.sat4j.specs.IVec<java.math.BigInteger> coefs, java.math.BigInteger degree)
protected PBConstr	PBMinDataStructure.constraintFactory(org.sat4j.specs.IVecInt literals, org.sat4j.specs.IVec<java.math.BigInteger> coefs, java.math.BigInteger degree)
protected PBConstr	AbstractPBClauseCardConstrDataStructure.constraintFactory(org.sat4j.specs.IVecInt literals, org.sat4j.specs.IVec<java.math.BigInteger> coefs, java.math.BigInteger degree)
protected abstract PBConstr	AbstractPBDataStructureFactory.constraintFactory(org.sat4j.specs.IVecInt literals, org.sat4j.specs.IVec<java.math.BigInteger> coefs, java.math.BigInteger degree)
protected PBConstr	CompetPBMaxClauseCardConstrDataStructure.constraintFactory(org.sat4j.specs.IVecInt literals, org.sat4j.specs.IVec<java.math.BigInteger> coefs, boolean moreThan, java.math.BigInteger degree)
protected PBConstr	PuebloPBMinDataStructure.constraintFactory(org.sat4j.specs.IVecInt literals, org.sat4j.specs.IVec<java.math.BigInteger> coefs, boolean moreThan, java.math.BigInteger degree)
protected PBConstr	PBMinDataStructure.constraintFactory(org.sat4j.specs.IVecInt literals, org.sat4j.specs.IVec<java.math.BigInteger> coefs, boolean moreThan, java.math.BigInteger degree)
protected PBConstr	AbstractPBClauseCardConstrDataStructure.constraintFactory(org.sat4j.specs.IVecInt literals, org.sat4j.specs.IVec<java.math.BigInteger> coefs, boolean moreThan, java.math.BigInteger degree)
protected abstract PBConstr	AbstractPBDataStructureFactory.constraintFactory(org.sat4j.specs.IVecInt literals, org.sat4j.specs.IVec<java.math.BigInteger> coefs, boolean moreThan, java.math.BigInteger degree)
protected PBConstr	PuebloPBMinDataStructure.constraintFactory(org.sat4j.specs.IVecInt literals, org.sat4j.specs.IVecInt coefs, boolean moreThan, int degree)
protected PBConstr	PBMinDataStructure.constraintFactory(org.sat4j.specs.IVecInt literals, org.sat4j.specs.IVecInt coefs, boolean moreThan, int degree)
protected PBConstr	AbstractPBClauseCardConstrDataStructure.constraintFactory(org.sat4j.specs.IVecInt literals, org.sat4j.specs.IVecInt coefs, boolean moreThan, int degree)
protected abstract PBConstr	AbstractPBDataStructureFactory.constraintFactory(org.sat4j.specs.IVecInt literals, org.sat4j.specs.IVecInt coefs, boolean moreThan, int degree)
protected PBConstr	PuebloPBMinDataStructure.constraintFactory(org.sat4j.specs.IVecInt literals, org.sat4j.specs.IVecInt coefs, int degree)
protected PBConstr	PBMinDataStructure.constraintFactory(org.sat4j.specs.IVecInt literals, org.sat4j.specs.IVecInt coefs, int degree)
protected PBConstr	AbstractPBClauseCardConstrDataStructure.constraintFactory(org.sat4j.specs.IVecInt literals, org.sat4j.specs.IVecInt coefs, int degree)
protected abstract PBConstr	AbstractPBDataStructureFactory.constraintFactory(org.sat4j.specs.IVecInt literals, org.sat4j.specs.IVecInt coefs, int degree)
protected PBConstr	PuebloPBMinClauseAtLeastConstrDataStructure.constructCard(org.sat4j.specs.IVecInt theLits, int degree)
protected PBConstr	PuebloPBMinClauseCardConstrDataStructure.constructCard(org.sat4j.specs.IVecInt theLits, int degree)
protected PBConstr	PBMaxClauseAtLeastConstrDataStructure.constructCard(org.sat4j.specs.IVecInt theLits, int degree)
protected abstract PBConstr	AbstractPBClauseCardConstrDataStructure.constructCard(org.sat4j.specs.IVecInt theLits, int degree)
protected PBConstr	PuebloPBMinClauseCardConstrDataStructure.constructClause(org.sat4j.specs.IVecInt v)
protected PBConstr	PBMaxCBClauseCardConstrDataStructure.constructClause(org.sat4j.specs.IVecInt v)
protected abstract PBConstr	AbstractPBClauseCardConstrDataStructure.constructClause(org.sat4j.specs.IVecInt v)
protected PBConstr	PuebloPBMinClauseCardConstrDataStructure.constructLearntCard(IDataStructurePB dspb)
protected abstract PBConstr	AbstractPBClauseCardConstrDataStructure.constructLearntCard(IDataStructurePB dspb)
protected PBConstr	PuebloPBMinClauseAtLeastConstrDataStructure.constructLearntCard(org.sat4j.specs.IVecInt literals, int degree)
protected PBConstr	PuebloPBMinClauseCardConstrDataStructure.constructLearntCard(org.sat4j.specs.IVecInt literals, int degree)
protected PBConstr	PBMaxClauseAtLeastConstrDataStructure.constructLearntCard(org.sat4j.specs.IVecInt literals, int degree)
protected abstract PBConstr	AbstractPBClauseCardConstrDataStructure.constructLearntCard(org.sat4j.specs.IVecInt literals, int degree)
protected PBConstr	PuebloPBMinClauseCardConstrDataStructure.constructLearntClause(IDataStructurePB dspb)
protected abstract PBConstr	AbstractPBClauseCardConstrDataStructure.constructLearntClause(IDataStructurePB dspb)
protected PBConstr	PuebloPBMinClauseCardConstrDataStructure.constructLearntClause(org.sat4j.specs.IVecInt literals)
protected PBConstr	PBMaxCBClauseCardConstrDataStructure.constructLearntClause(org.sat4j.specs.IVecInt literals)
protected abstract PBConstr	AbstractPBClauseCardConstrDataStructure.constructLearntClause(org.sat4j.specs.IVecInt literals)
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.constructLearntPB(org.sat4j.specs.IVecInt literals, org.sat4j.specs.IVec<java.math.BigInteger> coefs, java.math.BigInteger degree)
protected abstract PBConstr	AbstractPBClauseCardConstrDataStructure.constructLearntPB(org.sat4j.specs.IVecInt literals, org.sat4j.specs.IVec<java.math.BigInteger> coefs, java.math.BigInteger degree)
protected PBConstr	PBMinClauseCardConstrDataStructure.constructLearntPB(org.sat4j.specs.IVecInt literals, org.sat4j.specs.IVec<java.math.BigInteger> coefs, java.math.BigInteger degree)
protected PBConstr	PBMaxClauseCardConstrDataStructure.constructLearntPB(org.sat4j.specs.IVecInt literals, org.sat4j.specs.IVec<java.math.BigInteger> coefs, java.math.BigInteger degree)
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)
protected PBConstr	PuebloPBMinClauseCardConstrDataStructure.constructPB(int[] theLits, java.math.BigInteger[] coefs, java.math.BigInteger degree)
protected abstract PBConstr	AbstractPBClauseCardConstrDataStructure.constructPB(int[] theLits, java.math.BigInteger[] coefs, java.math.BigInteger degree)
protected PBConstr	PBMinClauseCardConstrDataStructure.constructPB(int[] theLits, java.math.BigInteger[] coefs, java.math.BigInteger degree)
protected PBConstr	PBMaxClauseCardConstrDataStructure.constructPB(int[] theLits, java.math.BigInteger[] coefs, java.math.BigInteger degree)
PBConstr	AbstractPBDataStructureFactoryPB.createClause(org.sat4j.specs.IVecInt literals)
PBConstr	AbstractPBDataStructureFactoryPB.createUnregisteredClause(org.sat4j.specs.IVecInt literals)
PBConstr	AbstractPBDataStructureFactoryPB.createUnregisteredPseudoBooleanConstraint(org.sat4j.specs.IVecInt literals, org.sat4j.specs.IVec<java.math.BigInteger> coefs, java.math.BigInteger degree)

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

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

class	AtLeastPB
class	HTClausePB
class	MaxWatchPb
class	MinWatchCardPB
class	MinWatchPb
class	MixableCBClausePB
class	PuebloMinWatchPb
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, org.sat4j.minisat.core.VarActivityListener val)
java.math.BigInteger	IDataStructurePB.cuttingPlane(PBConstr cpb, java.math.BigInteger degreeCons, java.math.BigInteger[] reducedCoefs, java.math.BigInteger coefMult, org.sat4j.minisat.core.VarActivityListener val)
java.math.BigInteger	MapPb.cuttingPlane(PBConstr cpb, java.math.BigInteger deg, java.math.BigInteger[] reducedCoefs, org.sat4j.minisat.core.VarActivityListener val)
java.math.BigInteger	IDataStructurePB.cuttingPlane(PBConstr cpb, java.math.BigInteger deg, java.math.BigInteger[] reducedCoefs, org.sat4j.minisat.core.VarActivityListener val)
java.math.BigInteger	ConflictMap.resolve(PBConstr cpb, int litImplied, org.sat4j.minisat.core.VarActivityListener val) computes a cutting plane with a pseudo-boolean constraint.
java.math.BigInteger	IConflict.resolve(PBConstr cpb, int litImplied, org.sat4j.minisat.core.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)