- // private incrementTasksStolen (workerNodeKey: number, workerNode: WorkerNode): void {
- // ++workerNode.usage.tasks.stolen
- // if (this.shallUpdateTaskFunctionWorkerUsage(workerNodeKey)) {
- // const taskFunctionWorkerUsage =
- // workerNode.getTaskFunctionWorkerUsage(
- // task.name as string
- // ) as WorkerUsage
- // ++taskFunctionWorkerUsage.tasks.stolen
- // }
- // }
-