$darkmode
DENOPTIM
|
Shutdown hook that stops all child tasks upon shutdown of JavaVM. More...
Public Member Functions | |
void | run () |
Shutdown hook that stops all child tasks upon shutdown of JavaVM.
Definition at line 137 of file StaticTaskManager.java.
void denoptim.task.StaticTaskManager.ShutDownHook.run | ( | ) |
Definition at line 140 of file StaticTaskManager.java.
References denoptim.task.StaticTaskManager.stopAll(), denoptim.task.StaticTaskManager.subToFutureMap, and denoptim.task.StaticTaskManager.tpe.