public class PuebloPBMinDataStructure extends AbstractPBDataStructureFactory
FOR_COMPETITION, NO_COMPETITION
learner, lits, solver
Constructor and Description |
---|
PuebloPBMinDataStructure() |
Modifier and Type | Method and Description |
---|---|
protected PBConstr |
constraintFactory(int[] literals,
BigInteger[] coefs,
BigInteger degree) |
protected Constr |
learntAtLeastConstraintFactory(IVecInt literals,
IVec<BigInteger> coefs,
BigInteger degree) |
protected Constr |
learntAtMostConstraintFactory(IVecInt literals,
IVec<BigInteger> coefs,
BigInteger degree) |
protected PBConstr |
learntConstraintFactory(IDataStructurePB dspb) |
createAtLeastPBConstraint, createAtMostPBConstraint, createCardinalityConstraint, createClause, createLits, createPseudoBooleanConstraint, createUnregisteredAtLeastConstraint, createUnregisteredAtMostConstraint, createUnregisteredCardinalityConstraint, createUnregisteredClause, createUnregisteredPseudoBooleanConstraint, getNormalizer, setNormalizer, setNormalizer
conflictDetectedInWatchesFor, getVocabulary, getWatchesFor, learnConstraint, reset, setLearner, setUnitPropagationListener
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
conflictDetectedInWatchesFor, getVocabulary, getWatchesFor, learnConstraint, reset, setLearner, setUnitPropagationListener
protected PBConstr constraintFactory(int[] literals, BigInteger[] coefs, BigInteger degree) throws ContradictionException
constraintFactory
in class AbstractPBDataStructureFactory
ContradictionException
protected PBConstr learntConstraintFactory(IDataStructurePB dspb)
learntConstraintFactory
in class AbstractPBDataStructureFactory
protected Constr learntAtLeastConstraintFactory(IVecInt literals, IVec<BigInteger> coefs, BigInteger degree)
learntAtLeastConstraintFactory
in class AbstractPBDataStructureFactory
protected Constr learntAtMostConstraintFactory(IVecInt literals, IVec<BigInteger> coefs, BigInteger degree)
learntAtMostConstraintFactory
in class AbstractPBDataStructureFactory
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.