$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.