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