C# Class Microsoft.PSharp.QuiescentEvent

Inheritance: Microsoft.PSharp.Event
Afficher le fichier Open project: p-org/PSharp

Méthodes publiques

Свойство Type Description
MachineId Microsoft.PSharp.MachineId

Méthodes publiques

Méthode Description
QuiescentEvent ( Microsoft.PSharp.MachineId mid ) : System.Runtime.Serialization

Initializes a new instance of the QuiescentEvent class.

Method Details

QuiescentEvent() public méthode

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.
Résultat System.Runtime.Serialization

Property Details

MachineId public_oe property

The id of the machine that has reached quiescence.
public MachineId,Microsoft.PSharp MachineId
Résultat Microsoft.PSharp.MachineId