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