C# Class Microsoft.PSharp.QuiescentEvent

Inheritance: Microsoft.PSharp.Event
Datei anzeigen 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_oe property

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