Toggle navigation
Hot Examples
EN
EN
RU
DE
FR
ES
PT
IT
JP
ZH
KO
C#
PHP
C#
Java
Go
C++
Python
JS
TS
Search
Home
Microsoft
PSharp
WildCardEvent
C# Class Microsoft.PSharp.WildCardEvent
Inheritance:
Microsoft.PSharp.Event
Show file
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