C# (CSharp) Microsoft.PSharp.TestingServices.Scheduling IterativeDeepeningDFSStrategyの例

コード例 #1

 /// <summary>
 /// Constructor.
 /// </summary>
 /// <param name="configuration">Configuration</param>
 public MaceMCStrategy(Configuration configuration)
 {
     this.Configuration     = configuration;
     this.SafetyPrefixDepth = this.Configuration.SafetyPrefixBound;
     this.BoundedDFS        = new IterativeDeepeningDFSStrategy(configuration);
     this.Random            = new RandomStrategy(configuration);
 }

コード例 #2

ファイル: MaceMCStrategy.cs プロジェクト: yonglehou/PSharp

 /// <summary>
 /// Constructor.
 /// </summary>
 /// <param name="configuration">Configuration</param>
 public MaceMCStrategy(Configuration configuration)
 {
     this.Configuration = configuration;
     this.SafetyPrefixDepth = this.Configuration.SafetyPrefixBound;
     this.BoundedDFS = new IterativeDeepeningDFSStrategy(configuration);
     this.Random = new RandomStrategy(configuration);
 }