C# 클래스 Microsoft.Zing.ExecutionState

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

공개 메소드들

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

보호된 메소드들

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

비공개 메소드들

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

메소드 상세

ExecutionState() 공개 메소드

public ExecutionState ( StateImpl s, TraversalInfo predecessor, Via bt ) : System
s StateImpl
predecessor TraversalInfo
bt Via
리턴 System

ExecutionState() 공개 메소드

public ExecutionState ( StateImpl s, TraversalInfo predecessor, Via bt, bool MustFingerprint ) : System
s StateImpl
predecessor TraversalInfo
bt Via
MustFingerprint bool
리턴 System

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

RunProcess() 공개 메소드

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

RunProcess() 공개 메소드

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