Property | Type | Description | |
---|---|---|---|
Error | |||
IsAborted | bool | ||
IsErroneous | bool | ||
IsFailedAssumption | bool | ||
IsValidTermination | bool |
Method | Description | |
---|---|---|
GetDelayedSuccessor ( ) : |
||
GetNextSuccessor ( ) : |
||
GetNextSuccessorUnderDelayZeroForRW ( ) : |
||
GetNextSuccessorUniformRandomly ( ) : |
||
GetSuccessorN ( int n ) : |
||
GetSuccessorNForReplay ( int n, bool MustFingerprint ) : |
||
NumSuccessors ( ) : ushort | ||
Reset ( ) : void | ||
TerminalState ( StateImpl s, |
||
TerminalState ( StateImpl s, |
Method | Description | |
---|---|---|
Replay ( |
Method | Description | |
---|---|---|
deOrphanize ( StateImpl s ) : void |
public GetDelayedSuccessor ( ) : |
||
return |
public GetNextSuccessorUnderDelayZeroForRW ( ) : |
||
return |
public GetNextSuccessorUniformRandomly ( ) : |
||
return |
public GetSuccessorN ( int n ) : |
||
n | int | |
return |
public GetSuccessorNForReplay ( int n, bool MustFingerprint ) : |
||
n | int | |
MustFingerprint | bool | |
return |
protected Replay ( |
||
succ | ||
bt | ||
return | void |
public TerminalState ( StateImpl s, |
||
s | StateImpl | |
pred | ||
bt | ||
return | System |
public TerminalState ( StateImpl s, |
||
s | StateImpl | |
pred | ||
bt | ||
MustFingerprint | bool | |
return | System |