C# Класс Microsoft.PSharp.WildCardEvent

Наследование: Microsoft.PSharp.Event
Показать файл Открыть проект

Открытые методы

Метод Описание
WildCardEvent ( ) : System.Runtime.Serialization

Initializes a new instance of the WildCardEvent class.

Описание методов

WildCardEvent() публичный Метод

Initializes a new instance of the WildCardEvent class.
public WildCardEvent ( ) : System.Runtime.Serialization
Результат System.Runtime.Serialization