public class Dispatcher
extends java.lang.Thread
| Modifier and Type | Class and Description |
|---|---|
static class |
Dispatcher.ACTIVITY_STATE |
| Constructor and Description |
|---|
Dispatcher(ActivityNetworkSolver ans,
long period) |
| Modifier and Type | Method and Description |
|---|---|
void |
addDispatchingFunction(java.lang.String component,
DispatchingFunction df) |
void |
finish(SymbolicVariableActivity... actsToFinish) |
SymbolicVariableActivity[] |
getActivities() |
SymbolicVariableActivity[] |
getActsInState(Dispatcher.ACTIVITY_STATE st) |
ConstraintNetwork |
getConstraintNetwork() |
DispatchingFunction |
getDispatchingFunction(java.lang.String component) |
SymbolicVariableActivity[] |
getFinishedActs() |
SymbolicVariableActivity |
getFuture() |
SymbolicVariableActivity[] |
getStartedActs() |
void |
manualStart(SymbolicVariableActivity act,
java.lang.String component) |
void |
removeFinishedVariable(SymbolicVariableActivity toRemove) |
void |
run() |
void |
teardown() |
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, yieldpublic Dispatcher(ActivityNetworkSolver ans, long period)
public void teardown()
public SymbolicVariableActivity getFuture()
public void removeFinishedVariable(SymbolicVariableActivity toRemove)
public void manualStart(SymbolicVariableActivity act, java.lang.String component)
public void run()
run in interface java.lang.Runnablerun in class java.lang.Threadpublic void addDispatchingFunction(java.lang.String component,
DispatchingFunction df)
public SymbolicVariableActivity[] getActivities()
public SymbolicVariableActivity[] getActsInState(Dispatcher.ACTIVITY_STATE st)
public SymbolicVariableActivity[] getStartedActs()
public SymbolicVariableActivity[] getFinishedActs()
public void finish(SymbolicVariableActivity... actsToFinish)
public ConstraintNetwork getConstraintNetwork()
public DispatchingFunction getDispatchingFunction(java.lang.String component)