org.sat4j.pb.multiobjective

Interface IMultiObjOptimizationProblem

All Superinterfaces:

IOptimizationProblem, IProblem, RandomAccessModel

All Known Implementing Classes:

AbstractLinMultiObjOptimizer, LeximinDecorator, MinSumOWAOptimizer, OrderedObjsOWAOptimizer, SumLeximinDecompositionOWAOptimizer

public interface IMultiObjOptimizationProblem
extends IOptimizationProblem

A solver which implements this interface must be able to handle multiple objective functions. The inherited setObjectiveFunction(...) method should call addObjectiveFunction(...)

Author:

lonca

Method Summary

Modifier and Type	Method and Description
void	addObjectiveFunction(ObjectiveFunction obj)
BigInteger[]	getObjectiveValues()

Methods inherited from interface org.sat4j.specs.IOptimizationProblem

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

Method Detail

addObjectiveFunction

void addObjectiveFunction(ObjectiveFunction obj)

getObjectiveValues

BigInteger[] getObjectiveValues()

Returns:

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