org.sat4j.pb.multiobjective

Class CriterionOptimumComputer<S extends IPBSolver>

java.lang.Object

org.sat4j.pb.multiobjective.CriterionOptimumComputer<S>

Type Parameters:

S - Subsolvers type

public class CriterionOptimumComputer<S extends IPBSolver>
extends Object

A class used to compute optimal values for each criteria for a given problem. Computation is parallelized.

Author:

lonca

Field Summary

Fields

Modifier and Type	Field and Description
protected Semaphore	lock
protected boolean	timeoutOccured

Constructor Summary

Constructors

Constructor and Description
CriterionOptimumComputer(ManyCorePB<S> solvers)

Method Summary

Modifier and Type	Method and Description
void	addObjectiveFunction(ObjectiveFunction obj)
void	addObjectiveFunctions(Collection<ObjectiveFunction> objs)
void	compute() Launch optimization processes.
void	expireAll()
BigInteger[]	getOptimums() Allow user to get optimum values.
boolean	timeoutOccured()
void	waitForSolvers()

Methods inherited from class java.lang.Object

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

Field Detail

lock

protected Semaphore lock

timeoutOccured

protected boolean timeoutOccured

Constructor Detail

CriterionOptimumComputer

public CriterionOptimumComputer(ManyCorePB<S> solvers)

Method Detail

addObjectiveFunction

public void addObjectiveFunction(ObjectiveFunction obj)

addObjectiveFunctions

public void addObjectiveFunctions(Collection<ObjectiveFunction> objs)

compute

public void compute()

Launch optimization processes. User must call waitForSolvers() in order to wait all the computations to be finished.

expireAll

public void expireAll()

timeoutOccured

public boolean timeoutOccured()

getOptimums

public BigInteger[] getOptimums()

Allow user to get optimum values. In case timeout occurred, suboptimal values should take place in the results : call timeoutOccured() before this method.

Returns:

waitForSolvers

public void waitForSolvers()