Пример #1
0
 /// <summary>
 /// Tries to create a new task machine.
 /// </summary>
 /// <param name="userTask">Task</param>
 void IDispatcher.TryCreateTaskMachine(Task userTask)
 {
     PSharpRuntime.TryCreateTaskMachine(userTask);
 }