org.sat4j.pb.tools

Class LexicoHelper<T,C>

java.lang.Object

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

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

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

All Implemented Interfaces:

SolutionFoundListener

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

Field Summary

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

BASIC_NEGATION, NO_NEGATION

Fields inherited from interface org.sat4j.tools.SolutionFoundListener

VOID

Constructor Summary

Constructors

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

Method Summary

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

addCriterion, addWeightedCriterion, hasASolution, hasASolution, hasASolution, isOptimal, onSolutionFound, onSolutionFound, onUnsatTermination

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