org.chocosolver.solver

Class SlaveSolver

java.lang.Object

org.chocosolver.solver.thread.AbstractParallelSlave<MasterSolver>

org.chocosolver.solver.SlaveSolver

public class SlaveSolver
extends AbstractParallelSlave<MasterSolver>

Since:

27/10/14

Version:

choco

Author:

Charles Prud'homme

Field Summary

Fields inherited from class org.chocosolver.solver.thread.AbstractParallelSlave

id, master

Constructor Summary

Constructors

Constructor and Description
SlaveSolver(MasterSolver master, int id, Solver solver) Create a slave born to be mastered and work in parallel
SlaveSolver(MasterSolver master, int id, Solver solver, ResolutionPolicy policy, IntVar objective) Create a slave born to be mastered and work in parallel

Method Summary

Methods

Modifier and Type	Method and Description
void	findBetterThan(int val, ResolutionPolicy policy)
void	stop()
void	work() do something

Methods inherited from class org.chocosolver.solver.thread.AbstractParallelSlave

workInParallel

Methods inherited from class java.lang.Object

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

Constructor Detail

SlaveSolver

public SlaveSolver(MasterSolver master,
           int id,
           Solver solver)

Create a slave born to be mastered and work in parallel

Parameters:

master - master solver

id - slave unique name

SlaveSolver

public SlaveSolver(MasterSolver master,
           int id,
           Solver solver,
           ResolutionPolicy policy,
           IntVar objective)

Create a slave born to be mastered and work in parallel

Parameters:

master - the driver

id - slave unique name

solver - the driven solver

policy - the resolution policy

objective - the objective variable (can be null)

Method Detail

work

public void work()

Description copied from class: AbstractParallelSlave

do something

Specified by:

work in class AbstractParallelSlave<MasterSolver>

findBetterThan

public void findBetterThan(int val,
                  ResolutionPolicy policy)

stop

public void stop()