org.sat4j.pb.multiobjective

Class LeximinDecorator

java.lang.Object

org.sat4j.tools.SolverDecorator<T>

org.sat4j.tools.LexicoDecorator<IPBSolver>

org.sat4j.pb.tools.LexicoDecoratorPB

org.sat4j.pb.multiobjective.LeximinDecorator

All Implemented Interfaces:

Serializable, IPBSolver, IMultiObjOptimizationProblem, IOptimizationProblem, IProblem, ISolver, RandomAccessModel

public class LeximinDecorator
extends LexicoDecoratorPB
implements IMultiObjOptimizationProblem

See Also:

Serialized Form

Field Summary

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

objs

Fields inherited from class org.sat4j.tools.LexicoDecorator

criteria, currentCriterion, isSolutionOptimal, prevboolmodel, prevConstr, prevfullmodel, prevmodelwithinternalvars

Constructor Summary

Constructors

Constructor and Description
LeximinDecorator(IIntegerPBSolver solver)

Method Summary

Modifier and Type	Method and Description
void	addCriterion(IVecInt literals)
void	addCriterion(IVecInt literals, IVec<BigInteger> coefs)
void	addObjectiveFunction(ObjectiveFunction obj)
boolean	admitABetterSolution()
boolean	admitABetterSolution(IVecInt assumps)
BigInteger[]	getObjectiveValues()
protected BigInteger	minObjValuesBound()
protected void	setInitConstraints()

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

addAtLeast, addAtLeast, addAtMost, addAtMost, addCriterion, addExactly, addExactly, addPseudoBoolean, discardSolutionsForOptimizing, evaluate, evaluate, fixCriterionValue, getObjectiveFunction, numberOfCriteria, setObjectiveFunction

Methods inherited from class org.sat4j.tools.LexicoDecorator

calculateObjective, discard, discardCurrentSolution, forceObjectiveValueTo, getObjectiveValue, getObjectiveValue, hasNoObjectiveFunction, isOptimal, manageUnsatCase, model, model, modelWithInternalVariables, nonOptimalMeansSatisfiable, setTimeoutForFindingBetterSolution

Methods inherited from class org.sat4j.tools.SolverDecorator

addAllClauses, addAtLeast, addAtMost, addBlockingClause, addClause, addConstr, addExactly, addParity, clearDecorated, clearLearntClauses, createBlockingClauseForCurrentModel, decorated, discardCurrentModel, expireTimeout, findModel, findModel, getLogPrefix, getOriginInModel, getSearchListener, getSolvingEngine, getStat, getTimeout, getTimeoutMs, isDBSimplificationAllowed, isSatisfiable, isSatisfiable, isSatisfiable, isSatisfiable, isSolverKeptHot, isVerbose, nConstraints, newVar, newVar, nextFreeVarId, nVars, primeImplicant, primeImplicant, printInfos, printInfos, printStat, printStat, printStat, realNumberOfVariables, registerLiteral, removeConstr, removeSubsumedConstr, reset, setDBSimplificationAllowed, setDecorated, setExpectedNumberOfClauses, setKeepSolverHot, setLogPrefix, setSearchListener, setTimeout, setTimeoutMs, setTimeoutOnConflicts, setUnitClauseConsumer, setUnitClauseProvider, setVerbose, toString, toString, unsatExplanation

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.sat4j.specs.IOptimizationProblem

calculateObjective, discard, discardCurrentSolution, forceObjectiveValueTo, getObjectiveValue, hasNoObjectiveFunction, isOptimal, nonOptimalMeansSatisfiable, setTimeoutForFindingBetterSolution

Methods inherited from interface org.sat4j.specs.IProblem

findModel, findModel, isSatisfiable, isSatisfiable, isSatisfiable, isSatisfiable, model, nConstraints, newVar, nVars, primeImplicant, primeImplicant, printInfos, printInfos

Methods inherited from interface org.sat4j.specs.RandomAccessModel

model

Methods inherited from interface org.sat4j.specs.ISolver

addAllClauses, addAtLeast, addAtMost, addBlockingClause, addClause, addConstr, addExactly, addParity, clearLearntClauses, createBlockingClauseForCurrentModel, discardCurrentModel, expireTimeout, getLogPrefix, getOriginInModel, getSearchListener, getSolvingEngine, getStat, getTimeout, getTimeoutMs, isDBSimplificationAllowed, isSolverKeptHot, isVerbose, modelWithInternalVariables, newVar, nextFreeVarId, printStat, printStat, printStat, realNumberOfVariables, registerLiteral, removeConstr, removeSubsumedConstr, reset, setDBSimplificationAllowed, setExpectedNumberOfClauses, setKeepSolverHot, setLogPrefix, setSearchListener, setTimeout, setTimeoutMs, setTimeoutOnConflicts, setUnitClauseConsumer, setUnitClauseProvider, setVerbose, toString, unsatExplanation

Constructor Detail

LeximinDecorator

public LeximinDecorator(IIntegerPBSolver solver)

Method Detail

admitABetterSolution

public boolean admitABetterSolution()
                             throws TimeoutException

Specified by:

admitABetterSolution in interface IOptimizationProblem

Overrides:

admitABetterSolution in class LexicoDecorator<IPBSolver>

Throws:

TimeoutException

admitABetterSolution

public boolean admitABetterSolution(IVecInt assumps)
                             throws TimeoutException

Specified by:

admitABetterSolution in interface IOptimizationProblem

Overrides:

admitABetterSolution in class LexicoDecoratorPB

Throws:

TimeoutException

setInitConstraints

protected void setInitConstraints()

minObjValuesBound

protected BigInteger minObjValuesBound()

addCriterion

public void addCriterion(IVecInt literals)

Overrides:

addCriterion in class LexicoDecoratorPB

addCriterion

public void addCriterion(IVecInt literals,
                         IVec<BigInteger> coefs)

Overrides:

addCriterion in class LexicoDecoratorPB

getObjectiveValues

public BigInteger[] getObjectiveValues()

Specified by:

getObjectiveValues in interface IMultiObjOptimizationProblem

Returns:

an array containing the objective values of each objective function through the last model found.

addObjectiveFunction

public void addObjectiveFunction(ObjectiveFunction obj)

Specified by:

addObjectiveFunction in interface IMultiObjOptimizationProblem