C# (CSharp) Microsoft.PSharp.Actors.Bridge ActorCompletionTaskの例

コード例 #1

ファイル: WaitMachine.cs プロジェクト: cephdon/PSharpModels

 public TaskCompleted(ActorCompletionTask <TResult> resultTask, int timestamp)
 {
     this.ResultTask = resultTask;
     this.Timestamp  = timestamp;
 }

コード例 #2

ファイル: WaitMachine.cs プロジェクト: cephdon/PSharpModels

 public CompleteTask(ActorCompletionTask <TResult> inputTask, MachineId target, int timestamp)
 {
     this.InputTask = inputTask;
     this.Target    = target;
     this.Timestamp = timestamp;
 }