Exemplos de ISSE.SafetyChecking.MarkovDecisionProcess.Unoptimized NestedMarkovDecisionProcess.UnderlyingDigraph em C# (CSharp)

Exemplo n.º 1

Arquivo: BuiltinNmdpModelChecker.cs Projeto: 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();
 }

Exemplo n.º 2

Arquivo: BuiltinNmdpModelChecker.cs Projeto: BenediktEberhardinger/ssharp

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