C# Класс Microsoft.PSharp.QuiescentEvent

Наследование: Microsoft.PSharp.Event
Показать файл Открыть проект

Открытые свойства

Свойство Тип Описание
MachineId Microsoft.PSharp.MachineId

Открытые методы

Метод Описание
QuiescentEvent ( Microsoft.PSharp.MachineId mid ) : System.Runtime.Serialization

Initializes a new instance of the QuiescentEvent class.

Описание методов

QuiescentEvent() публичный Метод

Initializes a new instance of the QuiescentEvent class.
public QuiescentEvent ( Microsoft.PSharp.MachineId mid ) : System.Runtime.Serialization
mid Microsoft.PSharp.MachineId The id of the machine that has reached quiescence.
Результат System.Runtime.Serialization

Описание свойств

MachineId публичное свойство

The id of the machine that has reached quiescence.
public MachineId,Microsoft.PSharp MachineId
Результат Microsoft.PSharp.MachineId