public interface PBDataStructureFactory extends DataStructureFactory
Modifier and Type | Method and Description |
---|---|
Constr |
createAtLeastPBConstraint(IVecInt literals,
IVec<java.math.BigInteger> coefs,
java.math.BigInteger degree) |
Constr |
createAtMostPBConstraint(IVecInt literals,
IVec<java.math.BigInteger> coefs,
java.math.BigInteger degree) |
Constr |
createPseudoBooleanConstraint(IVecInt literals,
IVec<java.math.BigInteger> coefs,
boolean moreThan,
java.math.BigInteger degree) |
Constr |
createUnregisteredAtLeastConstraint(IVecInt literals,
IVec<java.math.BigInteger> coefs,
java.math.BigInteger degree) |
Constr |
createUnregisteredAtMostConstraint(IVecInt literals,
IVec<java.math.BigInteger> coefs,
java.math.BigInteger degree) |
Constr |
createUnregisteredPseudoBooleanConstraint(IDataStructurePB dspb) |
conflictDetectedInWatchesFor, createCardinalityConstraint, createClause, createUnregisteredCardinalityConstraint, createUnregisteredClause, getVocabulary, getWatchesFor, learnConstraint, reset, setLearner, setUnitPropagationListener
Constr createPseudoBooleanConstraint(IVecInt literals, IVec<java.math.BigInteger> coefs, boolean moreThan, java.math.BigInteger degree) throws ContradictionException
ContradictionException
Constr createAtMostPBConstraint(IVecInt literals, IVec<java.math.BigInteger> coefs, java.math.BigInteger degree) throws ContradictionException
ContradictionException
Constr createAtLeastPBConstraint(IVecInt literals, IVec<java.math.BigInteger> coefs, java.math.BigInteger degree) throws ContradictionException
ContradictionException
Constr createUnregisteredPseudoBooleanConstraint(IDataStructurePB dspb)
Constr createUnregisteredAtMostConstraint(IVecInt literals, IVec<java.math.BigInteger> coefs, java.math.BigInteger degree)