C# 클래스 Microsoft.Zing.StateData

파일 보기 프로젝트 열기: ZingModelChecker/Zing 1 사용 예제들

공개 메소드들

메소드	설명
Equals ( StateData st ) : bool
Equals ( object obj ) : bool
GetHashCode ( ) : int
StateData ( ) : System
StateData ( bool magic ) : System

메소드 상세

Equals() 공개 메소드

public Equals ( StateData st ) : bool
st	StateData
리턴	bool

Equals() 공개 메소드

public Equals ( object obj ) : bool
obj	object
리턴	bool

GetHashCode() 공개 메소드

public GetHashCode ( ) : int
리턴	int

StateData() 공개 메소드

public StateData ( ) : System
리턴	System

StateData() 공개 메소드

public StateData ( bool magic ) : System
magic	bool
리턴	System