Esempi in C# (CSharp) per ISSE.SafetyChecking.MarkovDecisionProcess.Unoptimized LabeledTransitionMarkovDecisionProcess.GetPlaceForNewTransitionTargetElement

Esempio n. 1

File: LtmdpBuilderDuringTraversal.cs Progetto: pascalpfeil/ssharp

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