public class LexicoHelper<T,C> extends AbstractLexicoHelper<T,C>
BASIC_NEGATION, NO_NEGATION
VOID
Constructor and Description |
---|
LexicoHelper(IPBSolver solver) |
LexicoHelper(IPBSolver solver,
boolean explanationEnabled) |
LexicoHelper(IPBSolver solver,
boolean explanationEnabled,
boolean canonicalOptFunctionEnabled) |
addCriterion, addWeightedCriterion, hasASolution, hasASolution, hasASolution, isOptimal, onSolutionFound, onSolutionFound, onUnsatTermination
addToObjectiveFunction, addToObjectiveFunction, and, atLeast, atLeast, atMost, atMost, atMost, atMost, clause, discard, discardSolutionsWithObjectiveValueGreaterThan, disjunction, getASolution, getBooleanValueFor, getIntValue, getIntValue, getMappingToDomain, getNumberOfConstraints, getNumberOfVariables, getObjectiveFunction, getSolution, getSolutionCost, getSolver, halfOr, iff, ifThenElse, implication, impliedBy, not, or, reset, setFalse, setNegator, setObjectiveFunction, setTrue, stopExplanation, stopSolver, why, why, whyNot
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.