/// <summary>
/// Updates the activation states of the worker's faults.
/// </summary>
/// <param name="getActivation">The callback that should be used to determine a fault's activation state.</param>
internal void ChangeFaultActivations(Func <Fault, Activation> getActivation)
{
RuntimeModel.ChangeFaultActivations(getActivation);
}