public class PuebloPBMinClauseCardConstrDataStructure extends AbstractPBClauseCardConstrDataStructure
FOR_COMPETITION, NO_COMPETITION
learner, lits, solver
Constructor and Description |
---|
PuebloPBMinClauseCardConstrDataStructure() |
Modifier and Type | Method and Description |
---|---|
Constr |
createClause(IVecInt literals) |
constraintFactory, constructCard, constructClause, constructLearntCard, constructLearntCard, constructLearntClause, constructLearntPB, constructLearntPB, constructPB, createUnregisteredClause, learntAtLeastConstraintFactory, learntAtMostConstraintFactory, learntConstraintFactory, sumOfCoefficients
createAtLeastPBConstraint, createAtMostPBConstraint, createCardinalityConstraint, createLits, createPseudoBooleanConstraint, createUnregisteredAtLeastConstraint, createUnregisteredAtMostConstraint, createUnregisteredCardinalityConstraint, 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
public PuebloPBMinClauseCardConstrDataStructure()
public Constr createClause(IVecInt literals) throws ContradictionException
createClause
in interface DataStructureFactory
createClause
in class AbstractPBClauseCardConstrDataStructure
ContradictionException
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.