| 프로퍼티 | 타입 | 설명 | |
|---|---|---|---|
| MachineId | Microsoft.PSharp.MachineId |
| 메소드 | 설명 | |
|---|---|---|
| QuiescentEvent ( Microsoft.PSharp.MachineId mid ) : System.Runtime.Serialization |
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 | |