org.cpsolver.ifs.solver

Class Solver.SolverThread

java.lang.Object

java.lang.Thread

org.cpsolver.ifs.solver.Solver.SolverThread

All Implemented Interfaces:

Runnable

Enclosing class:

Solver<V extends Variable<V,T>,T extends Value<V,T>>

protected class Solver.SolverThread
extends Thread

Solver thread

Nested Class Summary

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

Thread.State, Thread.UncaughtExceptionHandler

Field Summary

Fields inherited from class java.lang.Thread

MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	SolverThread()

Method Summary

Modifier and Type	Method and Description
void	run() Solving rutine

Methods inherited from class java.lang.Thread

activeCount, clone, countStackFrames, currentThread, destroy, dumpStack, enumerate, getAllStackTraces, getContextClassLoader, getDefaultUncaughtExceptionHandler, getId, getName, getPriority, getStackTrace, getState, getThreadGroup, getUncaughtExceptionHandler, holdsLock, checkAccess, 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

Constructor Detail

SolverThread

protected SolverThread()

Method Detail

run

public void run()

Solving rutine

Specified by:

run in interface Runnable

Overrides:

run in class Thread