public interface PBDataStructureFactory extends DataStructureFactory
Modifier and Type | Method and Description |
---|---|
Constr |
createAtLeastPBConstraint(IVecInt literals,
IVec<BigInteger> coefs,
BigInteger degree) |
Constr |
createAtMostPBConstraint(IVecInt literals,
IVec<BigInteger> coefs,
BigInteger degree) |
Constr |
createPseudoBooleanConstraint(IVecInt literals,
IVec<BigInteger> coefs,
boolean moreThan,
BigInteger degree) |
Constr |
createUnregisteredAtLeastConstraint(IVecInt literals,
IVec<BigInteger> coefs,
BigInteger degree) |
Constr |
createUnregisteredAtMostConstraint(IVecInt literals,
IVec<BigInteger> coefs,
BigInteger degree) |
Constr |
createUnregisteredPseudoBooleanConstraint(IDataStructurePB dspb) |
conflictDetectedInWatchesFor, createCardinalityConstraint, createClause, createUnregisteredCardinalityConstraint, createUnregisteredClause, getVocabulary, getWatchesFor, learnConstraint, reset, setLearner, setUnitPropagationListener
Constr createPseudoBooleanConstraint(IVecInt literals, IVec<BigInteger> coefs, boolean moreThan, BigInteger degree) throws ContradictionException
ContradictionException
Constr createAtMostPBConstraint(IVecInt literals, IVec<BigInteger> coefs, BigInteger degree) throws ContradictionException
ContradictionException
Constr createAtLeastPBConstraint(IVecInt literals, IVec<BigInteger> coefs, BigInteger degree) throws ContradictionException
ContradictionException
Constr createUnregisteredPseudoBooleanConstraint(IDataStructurePB dspb)
Constr createUnregisteredAtMostConstraint(IVecInt literals, IVec<BigInteger> coefs, BigInteger degree)
Constr createUnregisteredAtLeastConstraint(IVecInt literals, IVec<BigInteger> coefs, BigInteger degree)
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.