org.sat4j.pb.multiobjective

Class AbstractLinMultiObjOptimizer

java.lang.Object

org.sat4j.tools.SolverDecorator<IPBSolver>

org.sat4j.pb.PBSolverDecorator

org.sat4j.pb.PseudoOptDecorator

org.sat4j.pb.multiobjective.AbstractLinMultiObjOptimizer

All Implemented Interfaces:

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

Direct Known Subclasses:

MinSumOWAOptimizer, OrderedObjsOWAOptimizer

public abstract class AbstractLinMultiObjOptimizer
extends PseudoOptDecorator
implements IMultiObjOptimizationProblem

A partial implementation of the IMUltiObjectivePBSolver interface designed to handle optimization functions which are a linear aggregation of other objective functions. The two abstract methods, setInitConstraints() and setGlobalObj(), are called before the solver is called. setInitConstraints() is designed to add linearization constraints, while setGlobalObj() is intended to set the global linear function to the decorated PB solver.

Author:

lonca

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected boolean	initConstraintsSet
protected IIntegerPBSolver	integerSolver
protected List<ObjectiveFunction>	objs

Fields inherited from class org.sat4j.pb.PseudoOptDecorator

objectiveValue

Constructor Summary

Constructors

Constructor and Description
AbstractLinMultiObjOptimizer(IIntegerPBSolver solver)

Method Summary

Modifier and Type	Method and Description
void	addObjectiveFunction(ObjectiveFunction obj)
boolean	admitABetterSolution()
boolean	admitABetterSolution(IVecInt assumps)
BigInteger[]	getObjectiveValues() Return the objective functions values through the last model found.
boolean	hasNoObjectiveFunction()
protected abstract void	setGlobalObj() Implement this method to set a global linear objective function, which depends on the added objective functions and the initialization-added constraints.
protected abstract void	setInitConstraints() Implement this method to add some constraints before the first call to the solver.
void	setObjectiveFunction(ObjectiveFunction objf) Provide an objective function to the solver.

Methods inherited from class org.sat4j.pb.PseudoOptDecorator

calculateObjective, discard, discardCurrentModel, discardCurrentSolution, forceObjectiveValueTo, getObjectiveValue, isOptimal, isSatisfiable, isSatisfiable, isSatisfiable, isSatisfiable, model, model, modelWithInternalVariables, nonOptimalMeansSatisfiable, removeSubsumedOptConstr, reset, setTimeout, setTimeoutForFindingBetterSolution, toString

Methods inherited from class org.sat4j.pb.PBSolverDecorator

addAtLeast, addAtLeast, addAtMost, addAtMost, addExactly, addExactly, addPseudoBoolean, getObjectiveFunction

Methods inherited from class org.sat4j.tools.SolverDecorator

addAllClauses, addAtLeast, addAtMost, addBlockingClause, addClause, addConstr, addExactly, addParity, clearDecorated, clearLearntClauses, createBlockingClauseForCurrentModel, decorated, expireTimeout, findModel, findModel, getLogPrefix, getOriginInModel, getSearchListener, getSolvingEngine, getStat, getTimeout, getTimeoutMs, isDBSimplificationAllowed, isSolverKeptHot, isVerbose, nConstraints, newVar, newVar, nextFreeVarId, nVars, primeImplicant, primeImplicant, printInfos, printInfos, printStat, printStat, printStat, realNumberOfVariables, registerLiteral, removeConstr, removeSubsumedConstr, setDBSimplificationAllowed, setDecorated, setExpectedNumberOfClauses, setKeepSolverHot, setLogPrefix, setSearchListener, setTimeoutMs, setTimeoutOnConflicts, setUnitClauseConsumer, setUnitClauseProvider, setVerbose, 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, 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, expireTimeout, getLogPrefix, getOriginInModel, getSearchListener, getSolvingEngine, getStat, getTimeout, getTimeoutMs, isDBSimplificationAllowed, isSolverKeptHot, isVerbose, newVar, nextFreeVarId, printStat, printStat, printStat, realNumberOfVariables, registerLiteral, removeConstr, removeSubsumedConstr, setDBSimplificationAllowed, setExpectedNumberOfClauses, setKeepSolverHot, setLogPrefix, setSearchListener, setTimeoutMs, setTimeoutOnConflicts, setUnitClauseConsumer, setUnitClauseProvider, setVerbose, unsatExplanation

Field Detail

objs

protected final transient List<ObjectiveFunction> objs

initConstraintsSet

protected boolean initConstraintsSet

integerSolver

protected final IIntegerPBSolver integerSolver

Constructor Detail

AbstractLinMultiObjOptimizer

public AbstractLinMultiObjOptimizer(IIntegerPBSolver solver)

Method Detail

addObjectiveFunction

public void addObjectiveFunction(ObjectiveFunction obj)

Specified by:

addObjectiveFunction in interface IMultiObjOptimizationProblem

setObjectiveFunction

public void setObjectiveFunction(ObjectiveFunction objf)

Description copied from interface: IPBSolver

Provide an objective function to the solver.

Specified by:

setObjectiveFunction in interface IPBSolver

Overrides:

setObjectiveFunction in class PseudoOptDecorator

Parameters:

objf - the objective function

getObjectiveValues

public BigInteger[] getObjectiveValues()

Return the objective functions values through the last model found. The values are ordered from the lowest to the highest.

Specified by:

getObjectiveValues in interface IMultiObjOptimizationProblem

Returns:

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

admitABetterSolution

public boolean admitABetterSolution()
                             throws TimeoutException

Specified by:

admitABetterSolution in interface IOptimizationProblem

Overrides:

admitABetterSolution in class PseudoOptDecorator

Throws:

TimeoutException

admitABetterSolution

public boolean admitABetterSolution(IVecInt assumps)
                             throws TimeoutException

Specified by:

admitABetterSolution in interface IOptimizationProblem

Overrides:

admitABetterSolution in class PseudoOptDecorator

Throws:

TimeoutException

hasNoObjectiveFunction

public boolean hasNoObjectiveFunction()

Specified by:

hasNoObjectiveFunction in interface IOptimizationProblem

Overrides:

hasNoObjectiveFunction in class PseudoOptDecorator

setInitConstraints

protected abstract void setInitConstraints()

Implement this method to add some constraints before the first call to the solver.

setGlobalObj

protected abstract void setGlobalObj()

Implement this method to set a global linear objective function, which depends on the added objective functions and the initialization-added constraints.