Esempi in C# (CSharp) per ISSE.SafetyChecking.MarkovDecisionProcess.Unoptimized NestedMarkovDecisionProcess.UnderlyingDigraph

Esempio n. 1

File: BuiltinNmdpModelChecker.cs Progetto: pascalpfeil/ssharp

 // Note: Should be used with using(var modelchecker = new ...)
 public BuiltinNmdpModelChecker(NestedMarkovDecisionProcess nmdp, TextWriter output = null)
 {
     Nmdp               = nmdp;
     _output            = output;
     _underlyingDigraph = Nmdp.CreateUnderlyingDigraph();
 }

Esempio n. 2

File: BuiltinNmdpModelChecker.cs Progetto: BenediktEberhardinger/ssharp

 // Note: Should be used with using(var modelchecker = new ...)
 public BuiltinNmdpModelChecker(NestedMarkovDecisionProcess nmdp, TextWriter output = null)
     : base(nmdp, output)
 {
     _underlyingDigraph = Nmdp.CreateUnderlyingDigraph();
 }