Свойство | Тип | Описание | |
---|---|---|---|
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 GetDelayedSuccessor ( ) : |
||
Результат |
public GetNextSuccessor ( ) : |
||
Результат |
public GetNextSuccessorUnderDelayZeroForRW ( ) : |
||
Результат |
public GetNextSuccessorUniformRandomly ( ) : |
||
Результат |
public GetSuccessorN ( int n ) : |
||
n | int | |
Результат |
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 |