private TransitionCollection ConvertTransitions(LabeledTransitionMarkovChain.LabeledTransitionEnumerator enumerator)
{
TemporaryStateStorage.Clear();
_transitions.Clear();
while (enumerator.MoveNext())
{
var targetStateFormulaSet = DeriveNewStateFormulaSet(enumerator.CurrentFormulas);
_transitions.AddTransition(enumerator.CurrentTargetState, enumerator.CurrentProbability, targetStateFormulaSet);
}
return(_transitions.ToCollection());
}
/// <summary>
/// Invoked before the execution of the next step is started on the model, i.e., before a set of initial
/// states or successor states is computed.
/// </summary>
protected override void BeginExecution()
{
_cachedLabeledStates.Clear();
TemporaryStateStorage.Clear();
_stepGraph.Clear();
}
/// <summary>
/// Invoked before the execution of the next step is started on the model, i.e., before a set of initial
/// states or successor states is computed.
/// </summary>
protected override void BeginExecution()
{
_transitions.Clear();
TemporaryStateStorage.Clear();
}
internal void Clear()
{
TemporaryStateStorage.Clear();
_transitionCount = 0;
}