C# 클래스 Microsoft.Zing.TerminalState

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

공개 프로퍼티들

프로퍼티 타입 설명
Error System.Exception
IsAborted bool
IsErroneous bool
IsFailedAssumption bool
IsValidTermination bool

공개 메소드들

메소드 설명
GetDelayedSuccessor ( ) : TraversalInfo
GetNextSuccessor ( ) : TraversalInfo
GetNextSuccessorUnderDelayZeroForRW ( ) : TraversalInfo
GetNextSuccessorUniformRandomly ( ) : TraversalInfo
GetSuccessorN ( int n ) : TraversalInfo
GetSuccessorNForReplay ( int n, bool MustFingerprint ) : TraversalInfo
NumSuccessors ( ) : ushort
Reset ( ) : void
TerminalState ( StateImpl s, TraversalInfo pred, Via bt ) : System
TerminalState ( StateImpl s, TraversalInfo pred, Via bt, bool MustFingerprint ) : System

보호된 메소드들

메소드 설명
Replay ( TraversalInfo succ, Via bt ) : void

비공개 메소드들

메소드 설명
deOrphanize ( StateImpl s ) : void

메소드 상세

GetDelayedSuccessor() 공개 메소드

public GetDelayedSuccessor ( ) : TraversalInfo
리턴 TraversalInfo

GetNextSuccessor() 공개 메소드

public GetNextSuccessor ( ) : TraversalInfo
리턴 TraversalInfo

GetNextSuccessorUnderDelayZeroForRW() 공개 메소드

public GetNextSuccessorUnderDelayZeroForRW ( ) : TraversalInfo
리턴 TraversalInfo

GetNextSuccessorUniformRandomly() 공개 메소드

public GetNextSuccessorUniformRandomly ( ) : TraversalInfo
리턴 TraversalInfo

GetSuccessorN() 공개 메소드

public GetSuccessorN ( int n ) : TraversalInfo
n int
리턴 TraversalInfo

GetSuccessorNForReplay() 공개 메소드

public GetSuccessorNForReplay ( int n, bool MustFingerprint ) : TraversalInfo
n int
MustFingerprint bool
리턴 TraversalInfo

NumSuccessors() 공개 메소드

public NumSuccessors ( ) : ushort
리턴 ushort

Replay() 보호된 메소드

protected Replay ( TraversalInfo succ, Via bt ) : void
succ TraversalInfo
bt Via
리턴 void

Reset() 공개 메소드

public Reset ( ) : void
리턴 void

TerminalState() 공개 메소드

public TerminalState ( StateImpl s, TraversalInfo pred, Via bt ) : System
s StateImpl
pred TraversalInfo
bt Via
리턴 System

TerminalState() 공개 메소드

public TerminalState ( StateImpl s, TraversalInfo pred, Via bt, bool MustFingerprint ) : System
s StateImpl
pred TraversalInfo
bt Via
MustFingerprint bool
리턴 System

프로퍼티 상세

Error 공개적으로 프로퍼티

public Exception,System Error
리턴 System.Exception

IsAborted 공개적으로 프로퍼티

public bool IsAborted
리턴 bool

IsErroneous 공개적으로 프로퍼티

public bool IsErroneous
리턴 bool

IsFailedAssumption 공개적으로 프로퍼티

public bool IsFailedAssumption
리턴 bool

IsValidTermination 공개적으로 프로퍼티

public bool IsValidTermination
리턴 bool