org.sat4j.pb.tools

Class SteppedTimeoutLexicoHelper<T,C>

java.lang.Object

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

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

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

All Implemented Interfaces:

SolutionFoundListener

public class SteppedTimeoutLexicoHelper<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
SteppedTimeoutLexicoHelper(IPBSolver solver)
SteppedTimeoutLexicoHelper(IPBSolver solver, boolean explanationEnabled)
SteppedTimeoutLexicoHelper(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

SteppedTimeoutLexicoHelper

public SteppedTimeoutLexicoHelper(IPBSolver solver)

SteppedTimeoutLexicoHelper

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

SteppedTimeoutLexicoHelper

public SteppedTimeoutLexicoHelper(IPBSolver solver,
                          boolean explanationEnabled)