org.chocosolver.solver.thread

Class ThreadSolver

java.lang.Object

java.lang.Thread

org.chocosolver.solver.thread.ThreadSolver

All Implemented Interfaces:

Runnable

public class ThreadSolver
extends Thread

Since:

6 oct. 2010

Author:

Charles Prud'homme

Nested Class Summary

Nested classes/interfaces inherited from class java.lang.Thread

Thread.State, Thread.UncaughtExceptionHandler

Field Summary

Fields

Modifier and Type	Field and Description
Solver	solver

Fields inherited from class java.lang.Thread

MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY

Constructor Summary

Constructors

Constructor and Description
ThreadSolver(Solver solver)

Method Summary

Methods

Modifier and Type	Method and Description
void	findAllSolutions()
void	findOptimalSolution(ResolutionPolicy policy, IntVar objective)
void	findSolution()
Solver	getSolver()
void	run()

Methods inherited from class java.lang.Thread

activeCount, checkAccess, clone, countStackFrames, currentThread, destroy, dumpStack, enumerate, getAllStackTraces, getContextClassLoader, getDefaultUncaughtExceptionHandler, getId, getName, getPriority, getStackTrace, getState, getThreadGroup, getUncaughtExceptionHandler, holdsLock, interrupt, interrupted, isAlive, isDaemon, isInterrupted, join, join, join, resume, setContextClassLoader, setDaemon, setDefaultUncaughtExceptionHandler, setName, setPriority, setUncaughtExceptionHandler, sleep, sleep, start, stop, stop, suspend, toString, yield

Methods inherited from class java.lang.Object

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

Field Detail

solver

public Solver solver

Constructor Detail

ThreadSolver

public ThreadSolver(Solver solver)

Method Detail

getSolver

public Solver getSolver()

run

public void run()

Specified by:

run in interface Runnable

Overrides:

run in class Thread

findSolution

public void findSolution()

findAllSolutions

public void findAllSolutions()

findOptimalSolution

public void findOptimalSolution(ResolutionPolicy policy,
                       IntVar objective)