Свойство | Type | Description | |
---|---|---|---|
Error | |||
IsAborted | bool | ||
IsErroneous | bool | ||
IsFailedAssumption | bool | ||
IsValidTermination | bool |
Méthode | Description | |
---|---|---|
GetDelayedSuccessor ( ) : |
||
GetNextSuccessor ( ) : |
||
GetNextSuccessorUnderDelayZeroForRW ( ) : |
||
GetNextSuccessorUniformRandomly ( ) : |
||
GetSuccessorN ( int n ) : |
||
GetSuccessorNForReplay ( int n, bool MustFingerprint ) : |
||
NumSuccessors ( ) : ushort | ||
Reset ( ) : void | ||
TerminalState ( StateImpl s, |
||
TerminalState ( StateImpl s, |
Méthode | Description | |
---|---|---|
Replay ( |
Méthode | Description | |
---|---|---|
deOrphanize ( StateImpl s ) : void |
public GetDelayedSuccessor ( ) : |
||
Résultat |
public GetNextSuccessor ( ) : |
||
Résultat |
public GetNextSuccessorUnderDelayZeroForRW ( ) : |
||
Résultat |
public GetNextSuccessorUniformRandomly ( ) : |
||
Résultat |
public GetSuccessorN ( int n ) : |
||
n | int | |
Résultat |
public GetSuccessorNForReplay ( int n, bool MustFingerprint ) : |
||
n | int | |
MustFingerprint | bool | |
Résultat |
protected Replay ( |
||
succ | ||
bt | ||
Résultat | void |
public TerminalState ( StateImpl s, |
||
s | StateImpl | |
pred | ||
bt | ||
Résultat | System |
public TerminalState ( StateImpl s, |
||
s | StateImpl | |
pred | ||
bt | ||
MustFingerprint | bool | |
Résultat | System |