C# Class Microsoft.PSharp.QuiescentEvent

Inheritance: Microsoft.PSharp.Event
Show file Open project: p-org/PSharp

Public Properties

Property Type Description
MachineId Microsoft.PSharp.MachineId

Public Methods

Method Description
QuiescentEvent ( Microsoft.PSharp.MachineId mid ) : System.Runtime.Serialization

Initializes a new instance of the QuiescentEvent class.

Method Details

QuiescentEvent() public method

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

Property Details

MachineId public property

The id of the machine that has reached quiescence.
public MachineId,Microsoft.PSharp MachineId
return Microsoft.PSharp.MachineId