Method | Description | |
---|---|---|
IterativeSearchStateSpace ( ) : ZingerResult | ||
MustExplore ( |
||
RandomBackTrackAndDelay ( Stack |
||
RunToCompletionWithDelayZero ( Stack |
Explores a deterministic schedule from the peek of the stack to the terminal state.
|
|
SearchStateSpace ( object obj ) : void | ||
VisitState ( |
protected IterativeSearchStateSpace ( ) : ZingerResult | ||
return | ZingerResult |
protected MustExplore ( |
||
ti | ||
return | bool |
protected RandomBackTrackAndDelay ( Stack |
||
searchStack | Stack |
|
startPoint | int | |
return | int |
protected RunToCompletionWithDelayZero ( Stack |
||
searchStack | Stack |
|
return | void |
protected SearchStateSpace ( object obj ) : void | ||
obj | object | |
return | void |
protected VisitState ( |
||
ti | ||
return | void |