org.sat4j.pb.multiobjective

Class OrderedObjsOWAOptimizer

java.lang.Object

org.sat4j.tools.SolverDecorator<IPBSolver>

org.sat4j.pb.PBSolverDecorator

org.sat4j.pb.PseudoOptDecorator

org.sat4j.pb.multiobjective.AbstractLinMultiObjOptimizer

org.sat4j.pb.multiobjective.OrderedObjsOWAOptimizer

All Implemented Interfaces:

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

public class OrderedObjsOWAOptimizer
extends AbstractLinMultiObjOptimizer

An optimizer intended to solve an OWA based problem. The encoding sort the objective values using AtLeast(x,{c1,...,cn}) constraints.

Author:

lonca

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected List<IntegerVariable>	objBoundVariables
protected BigInteger[]	weights

Fields inherited from class org.sat4j.pb.multiobjective.AbstractLinMultiObjOptimizer

initConstraintsSet, integerSolver, objs

Fields inherited from class org.sat4j.pb.PseudoOptDecorator

objectiveValue

Constructor Summary

Constructors

Constructor and Description
OrderedObjsOWAOptimizer(IIntegerPBSolver solver, BigInteger[] weights)
OrderedObjsOWAOptimizer(IIntegerPBSolver solver, int[] weights)

Method Summary

Modifier and Type	Method and Description
Number	calculateObjective()
void	discard()
void	discardCurrentSolution()
protected BigInteger	minObjValuesBound()
protected 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 void	setInitConstraints() Implement this method to add some constraints before the first call to the solver.

Methods inherited from class org.sat4j.pb.multiobjective.AbstractLinMultiObjOptimizer

addObjectiveFunction, admitABetterSolution, admitABetterSolution, getObjectiveValues, hasNoObjectiveFunction, setObjectiveFunction

Methods inherited from class org.sat4j.pb.PseudoOptDecorator

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

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

objBoundVariables

protected final List<IntegerVariable> objBoundVariables

weights

protected final BigInteger[] weights

Constructor Detail

OrderedObjsOWAOptimizer

public OrderedObjsOWAOptimizer(IIntegerPBSolver solver,
                               int[] weights)

OrderedObjsOWAOptimizer

public OrderedObjsOWAOptimizer(IIntegerPBSolver solver,
                               BigInteger[] weights)

Method Detail

setInitConstraints

protected void setInitConstraints()

Description copied from class: AbstractLinMultiObjOptimizer

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

Specified by:

setInitConstraints in class AbstractLinMultiObjOptimizer

minObjValuesBound

protected BigInteger minObjValuesBound()

calculateObjective

public Number calculateObjective()

Specified by:

calculateObjective in interface IOptimizationProblem

Overrides:

calculateObjective in class PseudoOptDecorator

discardCurrentSolution

public void discardCurrentSolution()
                            throws ContradictionException

Specified by:

discardCurrentSolution in interface IOptimizationProblem

Overrides:

discardCurrentSolution in class PseudoOptDecorator

Throws:

ContradictionException

discard

public void discard()
             throws ContradictionException

Specified by:

discard in interface IOptimizationProblem

Overrides:

discard in class PseudoOptDecorator

Throws:

ContradictionException

setGlobalObj

protected void setGlobalObj()

Description copied from class: AbstractLinMultiObjOptimizer

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

Specified by:

setGlobalObj in class AbstractLinMultiObjOptimizer