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