C# (CSharp) ISchedulingStrategy.GetScheduledStepsの例

コード例 #1

 /// <summary>
 /// Returns the scheduled steps.
 /// </summary>
 /// <returns>Scheduled steps</returns>
 public int GetScheduledSteps()
 {
     if (SuffixStrategy != null)
     {
         return(ScheduledSteps + SuffixStrategy.GetScheduledSteps());
     }
     else
     {
         return(ScheduledSteps);
     }
 }

コード例 #2

ファイル: LivenessCheckingStrategy.cs プロジェクト: suriyak/PSharp

 /// <summary>
 /// Returns the scheduled steps.
 /// </summary>
 /// <returns>Scheduled steps</returns>
 public virtual int GetScheduledSteps()
 {
     return(SchedulingStrategy.GetScheduledSteps());
 }

コード例 #3

ファイル: BasicReductionStrategy.cs プロジェクト: suriyak/PSharp

 /// <summary>
 /// Returns the scheduled steps.
 /// </summary>
 /// <returns>Scheduled steps</returns>
 public int GetScheduledSteps()
 {
     return(ReportActualScheduledSteps
         ? ScheduledSteps
         : ChildStrategy.GetScheduledSteps());
 }