C# 클래스 Microsoft.PSharp.GotoStateEvent

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

공개 프로퍼티들

프로퍼티 타입 설명
State Type

공개 메소드들

메소드 설명
GotoStateEvent ( Type s ) : System

Initializes a new instance of the GotoStateEvent class.

메소드 상세

GotoStateEvent() 공개 메소드

Initializes a new instance of the GotoStateEvent class.
public GotoStateEvent ( Type s ) : System
s Type Type of the state.
리턴 System

프로퍼티 상세

State 공개적으로 프로퍼티

Type of the state to transition to.
public Type State
리턴 Type