Property | Type | Description | |
---|---|---|---|
MachineId | Microsoft.PSharp.MachineId |
Method | Description | |
---|---|---|
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. |
return | System.Runtime.Serialization |