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; }