コード例 #1
0
ファイル: WaitMachine.cs プロジェクト: cephdon/PSharpModels
 public TaskCompleted(ActorCompletionTask <TResult> resultTask, int timestamp)
 {
     this.ResultTask = resultTask;
     this.Timestamp  = timestamp;
 }
コード例 #2
0
ファイル: WaitMachine.cs プロジェクト: cephdon/PSharpModels
 public CompleteTask(ActorCompletionTask <TResult> inputTask, MachineId target, int timestamp)
 {
     this.InputTask = inputTask;
     this.Target    = target;
     this.Timestamp = timestamp;
 }