public class CompetResolutionPBMixedHTClauseCardConstrDataStructure extends AbstractPBClauseCardConstrDataStructure
FOR_COMPETITION, NO_COMPETITION
learner, lits, solver
Constructor and Description |
---|
CompetResolutionPBMixedHTClauseCardConstrDataStructure() |
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
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.