C# 클래스 Microsoft.PSharp.WildCardEvent

상속: Microsoft.PSharp.Event
파일 보기 프로젝트 열기: p-org/PSharp

공개 메소드들

메소드 설명
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