public class PBMaxClauseAtLeastConstrDataStructure extends AbstractPBClauseCardConstrDataStructure
FOR_COMPETITION, NO_COMPETITION
learner, lits, solver
Constructor and Description |
---|
PBMaxClauseAtLeastConstrDataStructure() |
constraintFactory, constructCard, constructClause, constructLearntCard, constructLearntCard, constructLearntClause, constructLearntPB, constructLearntPB, constructPB, createClause, 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