DeleteThread
Model::SchedulingState::DeleteThread(ThreadSchedulingState* thread)
virtual void DeleteThread(Model::ThreadSchedulingState* thread)