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

LexicoHelper(IPBSolver solver)

LexicoHelper(IPBSolver solver, boolean explanationEnabled)

LexicoHelper(IPBSolver solver, boolean explanationEnabled, boolean canonicalOptFunctionEnabled)

Method Summary

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, 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()