org.sat4j.pb.tools

Class LexicoHelper<T,C>

java.lang.Object

org.sat4j.pb.tools.DependencyHelper<T,C>

org.sat4j.pb.tools.LexicoHelper<T,C>

public class LexicoHelper<T,C>
extends DependencyHelper<T,C>

Field Summary

Fields inherited from class org.sat4j.pb.tools.DependencyHelper

BASIC_NEGATION, NO_NEGATION

Constructor Summary

Constructors

Constructor and Description
LexicoHelper(IPBSolver solver)
LexicoHelper(IPBSolver solver, boolean explanationEnabled)
LexicoHelper(IPBSolver solver, boolean explanationEnabled, boolean canonicalOptFunctionEnabled)

Method Summary

Methods

Modifier and Type	Method and Description
void	addCriterion(Collection<T> things)
void	addWeightedCriterion(Collection<WeightedObject<T>> things)
boolean	isOptimal()

Methods inherited from class org.sat4j.pb.tools.DependencyHelper

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, hasASolution, hasASolution, hasASolution, iff, ifThenElse, implication, impliedBy, not, or, reset, setFalse, setNegator, setObjectiveFunction, setTrue, stopExplanation, stopSolver, why, why, whyNot

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

LexicoHelper

public LexicoHelper(IPBSolver solver)

LexicoHelper

public LexicoHelper(IPBSolver solver,
            boolean explanationEnabled,
            boolean canonicalOptFunctionEnabled)

LexicoHelper

public LexicoHelper(IPBSolver solver,
            boolean explanationEnabled)

Method Detail

addCriterion

public void addCriterion(Collection<T> things)

addWeightedCriterion

public void addWeightedCriterion(Collection<WeightedObject<T>> things)

isOptimal

public boolean isOptimal()