// Note: Should be used with using(var modelchecker = new ...) public BuiltinDtmcModelChecker(DiscreteTimeMarkovChain markovChain, TextWriter output = null) : base(markovChain, output) { _underlyingDigraph = MarkovChain.CreateUnderlyingDigraph(); }
// Note: Should be used with using(var modelchecker = new ...) public BuiltinDtmcModelChecker(DiscreteTimeMarkovChain markovChain, TextWriter output = null) : base(markovChain, output) { _underlyingDigraph = MarkovChain.CreateUnderlyingDigraph(); }