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