프로퍼티 | 타입 | 설명 | |
---|---|---|---|
Error | |||
IsAborted | bool | ||
IsErroneous | bool | ||
IsFailedAssumption | bool | ||
IsValidTermination | bool |
메소드 | 설명 | |
---|---|---|
GetDelayedSuccessor ( ) : |
||
GetNextSuccessor ( ) : |
||
GetNextSuccessorUnderDelayZeroForRW ( ) : |
||
GetNextSuccessorUniformRandomly ( ) : |
||
GetSuccessorN ( int n ) : |
||
GetSuccessorNForReplay ( int n, bool MustFingerprint ) : |
||
NumSuccessors ( ) : ushort | ||
Reset ( ) : void | ||
TerminalState ( StateImpl s, |
||
TerminalState ( StateImpl s, |
메소드 | 설명 | |
---|---|---|
Replay ( |
메소드 | 설명 | |
---|---|---|
deOrphanize ( StateImpl s ) : void |
public GetNextSuccessorUnderDelayZeroForRW ( ) : |
||
리턴 |
public GetNextSuccessorUniformRandomly ( ) : |
||
리턴 |
public GetSuccessorNForReplay ( int n, bool MustFingerprint ) : |
||
n | int | |
MustFingerprint | bool | |
리턴 |
protected Replay ( |
||
succ | ||
bt | ||
리턴 | void |
public TerminalState ( StateImpl s, |
||
s | StateImpl | |
pred | ||
bt | ||
리턴 | System |
public TerminalState ( StateImpl s, |
||
s | StateImpl | |
pred | ||
bt | ||
MustFingerprint | bool | |
리턴 | System |