/// <summary>
/// Resets the model to its initial state.
/// </summary>
/// <param name="traversalModifierStateVectorSize">Extra bytes in state vector for traversal parameters.</param>
public sealed override void Reset(int traversalModifierStateVectorSize)
{
ChoiceResolver.Clear();
RuntimeModel.Reset();
TemporaryStateStorage.Reset(traversalModifierStateVectorSize);
SavedActivations = RuntimeModel.NondeterministicFaults.Select(fault => fault.Activation).ToArray();
}
/// <summary>
/// Resets the model to its initial state.
/// </summary>
/// <param name="traversalModifierStateVectorSize">Extra bytes in state vector for traversal parameters.</param>
public sealed override void Reset(int traversalModifierStateVectorSize)
{
TemporaryStateStorage.Reset(traversalModifierStateVectorSize);
}
/// <summary>
/// Resets the model to its initial state.
/// </summary>
/// <param name="traversalModifierStateVectorSize">Extra bytes in state vector for traversal parameters.</param>
public sealed override void Reset(int traversalModifierStateVectorSize)
{
ChoiceResolver.Clear();
RuntimeModel.Reset();
TemporaryStateStorage.Reset(traversalModifierStateVectorSize);
}