private void AddTransitions(TransitionCollection transitions) { foreach (var transition in transitions) { var probTransition = (LtmdpTransition *)transition; CheckIfTransitionIsValid(probTransition); var place = _ltmdp.GetPlaceForNewTransitionTargetElement(); _ltmdp._transitionTarget[place] = new TransitionTargetElement { TargetState = transition->TargetStateIndex, Formulas = probTransition->Formulas, }; _transitionTargetMapper[probTransition->Index] = place; } }