org.sat4j.pb.tools

Class AbstractLexicoHelper<T,C>

java.lang.Object

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

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

All Implemented Interfaces:

SolutionFoundListener

Direct Known Subclasses:

LexicoHelper, SteppedTimeoutLexicoHelper

public abstract class AbstractLexicoHelper<T,C>
extends DependencyHelper<T,C>
implements SolutionFoundListener

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
AbstractLexicoHelper(LexicoDecoratorPB lexico)
AbstractLexicoHelper(LexicoDecoratorPB lexico, boolean explanationEnabled)
AbstractLexicoHelper(LexicoDecoratorPB lexico, 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	hasASolution()
boolean	hasASolution(Collection<T> assumps)
boolean	hasASolution(IVec<T> assumps)
boolean	isOptimal()
void	onSolutionFound(int[] solution)
void	onSolutionFound(IVecInt solution)
void	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

AbstractLexicoHelper

public AbstractLexicoHelper(LexicoDecoratorPB lexico)

AbstractLexicoHelper

public AbstractLexicoHelper(LexicoDecoratorPB lexico,
                    boolean explanationEnabled)

AbstractLexicoHelper

public AbstractLexicoHelper(LexicoDecoratorPB lexico,
                    boolean explanationEnabled,
                    boolean canonicalOptFunctionEnabled)

Method Detail

addCriterion

public void addCriterion(Collection<T> things)

addWeightedCriterion

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

hasASolution

public boolean hasASolution()
                     throws TimeoutException

Overrides:

hasASolution in class DependencyHelper<T,C>

Returns:

true if the set of constraints entered inside the solver can be satisfied.

Throws:

TimeoutException

hasASolution

public boolean hasASolution(IVec<T> assumps)
                     throws TimeoutException

Overrides:

hasASolution in class DependencyHelper<T,C>

Returns:

true if the set of constraints entered inside the solver can be satisfied.

Throws:

TimeoutException

hasASolution

public boolean hasASolution(Collection<T> assumps)
                     throws TimeoutException

Overrides:

hasASolution in class DependencyHelper<T,C>

Returns:

true if the set of constraints entered inside the solver can be satisfied.

Throws:

TimeoutException

isOptimal

public boolean isOptimal()

onSolutionFound

public void onSolutionFound(int[] solution)

Specified by:

onSolutionFound in interface SolutionFoundListener

onSolutionFound

public void onSolutionFound(IVecInt solution)

Specified by:

onSolutionFound in interface SolutionFoundListener

onUnsatTermination

public void onUnsatTermination()

Specified by:

onUnsatTermination in interface SolutionFoundListener