C# Class Microsoft.PSharp.WildCardEvent

Inheritance: Microsoft.PSharp.Event
Mostrar archivo Open project: p-org/PSharp

Public Methods

Method Description
WildCardEvent ( ) : System.Runtime.Serialization

Initializes a new instance of the WildCardEvent class.

Method Details

WildCardEvent() public method

Initializes a new instance of the WildCardEvent class.
public WildCardEvent ( ) : System.Runtime.Serialization
return System.Runtime.Serialization