Exemple #1
0
 // Note: Should be used with using(var modelchecker = new ...)
 public BuiltinLtmdpModelChecker(LabeledTransitionMarkovDecisionProcess mdp, TextWriter output = null)
     : base(mdp, output)
 {
     Requires.That(true, "Need CompactStateStorage to use this model checker");
     mdp.AssertIsDense();
 }